![]() |
English | Russian |
formal mathematical proof | формальное математическое доказательство (ssn) |
formal proof of correctness | формальное доказательство корректности (корпорации AdaCore Alex_Odeychuk) |
perform formal proof and verification on code | выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk) |
with formal proof via | с формальной верификацией кода с помощью (корпорации AdaCore Alex_Odeychuk) |