 |
Terms for subject Programming containing formal proof | all forms | exact matches only | in specified order only
| 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) |