Terms for subject Software containing доказательство

Russian	English
доказательства полной корректности ПО	full correctness proofs (корпорации AdaCore Alex_Odeychuk)
иметь формальное доказательство информационной безопасности	be hacker proof (Alex_Odeychuk)
инструмент автоматического доказательства теорем	automated theorem prover (Alex_Odeychuk)
инструмент автоматического доказательства теорем	prover (Alex_Odeychuk)
инструментальное средство формального доказательства корректности ПО	formal proof tool (корпорации AdaCore Alex_Odeychuk)
модульное доказательство	unit proof (корректности результатов выполнения кода adacore.com Alex_Odeychuk)
полуформальные и формальные доказательства корректности	semi-formal and formal proofs of correctness (корпорации AdaCore Alex_Odeychuk)
система построения доказательства соответствия модели программы её формальной спецификации	formal proof engine (Alex_Odeychuk)