![]() |
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) |