Terms for subject Software containing correctness

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