Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing correctness proof | all forms | in specified order only
SubjectEnglishRussian
comp.correctness proofдоказательство правильности
progr.formal proof of correctnessформальное доказательство корректности (корпорации AdaCore Alex_Odeychuk)
softw.full correctness proofsдоказательства полной корректности ПО (корпорации AdaCore Alex_Odeychuk)
ITprogram correctness proofдоказательство правильности программы
progr.proof of correctnessдоказательство правильности (ssn)
progr.proof of correctness in terms of loop invariantsдоказательство правильности в терминах инвариантов циклов (ssn)
softw.semi-formal and formal proofs of correctnessполуформальные и формальные доказательства корректности (корпорации AdaCore Alex_Odeychuk)

Get short URL