Terms for subject Programming containing формальное доказательство корректности

Russian	English
выполнять формальное доказательство корректности и верификацию кода	perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk)
набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения	verifier and prover toolchain (Alex_Odeychuk)
формальное доказательство корректности	formal proof of correctness (корпорации AdaCore Alex_Odeychuk)