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

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