 |
Terms for subject Programming containing формальное доказательство | all forms | exact matches only | in specified order only
| Russian | English |
| выполнить формальное доказательство отсутствия ошибок времени выполнения | prove absence of runtime errors (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk) |
| выполнять формальное доказательство корректности и верификацию кода | perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk) |
| набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения | verifier and prover toolchain (Alex_Odeychuk) |
| формальное доказательство корректности | formal proof of correctness (корпорации AdaCore Alex_Odeychuk) |
| формальное математическое доказательство | formal mathematical proof (ssn) |