Terms for subject Software containing корректность

Russian	English
доказательства полной корректности ПО	full correctness proofs (корпорации AdaCore Alex_Odeychuk)
инструментальное средство формального доказательства корректности ПО	formal proof tool (корпорации AdaCore Alex_Odeychuk)
корректность во время выполнения	correctness at compile time (InfoWorld Alex_Odeychuk)
корректность программы	program correctness (Alex_Odeychuk)
математически доказанная корректность кода	mathematically proven code correctness (embedded.com Alex_Odeychuk)
полная функциональная корректность	full functional correctness (adacore.com Alex_Odeychuk)
полуформальные и формальные доказательства корректности	semi-formal and formal proofs of correctness (корпорации AdaCore Alex_Odeychuk)
формально доказать корректность	formally prove correctness (корпорации AdaCore Alex_Odeychuk)