 |
Terms for subject Programming containing modular formal verification | all forms | in specified order only
| English | Russian |
| modular formal verification | формальная верификация программных модулей (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| perform modular formal verification | выполнять формальную верификацию программных модулей (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk) |