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

Subject	Russian	English
progr.	выполнить формальное доказательство отсутствия ошибок времени выполнения	prove absence of runtime errors (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk)
gen.	выполнить формальное доказательство отсутствия ошибок времени выполнения	prove absence of runtime errors (overflows, reading of uninitialized variables etc. alex_)
progr.	выполнять формальное доказательство корректности и верификацию кода	perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk)
law	доказывание с помощью формальных доказательств	formal proof
softw.	иметь формальное доказательство информационной безопасности	be hacker proof (Alex_Odeychuk)
softw.	инструментальное средство формального доказательства корректности ПО	formal proof tool (корпорации AdaCore Alex_Odeychuk)
progr.	набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения	verifier and prover toolchain (Alex_Odeychuk)
gen.	отсутствие формальных доказательств причастности к преступлению в качестве заказчика	plausible deniability (Ремедиос_П)
softw.	полуформальные и формальные доказательства корректности	semi-formal and formal proofs of correctness (корпорации AdaCore Alex_Odeychuk)
softw.	система построения доказательства соответствия модели программы её формальной спецификации	formal proof engine (Alex_Odeychuk)
law	установление факта формальными доказательствами	formal proof
math.	формальное доказательство	formal validation
law	формальное доказательство	requisite evidence
data.prot.	формальное доказательство	formal proofing
math.	формальное доказательство	formal demonstration
math.	формальное доказательство	formal proof
progr.	формальное доказательство корректности	formal proof of correctness (корпорации AdaCore Alex_Odeychuk)
IT	формальное доказательство правильности программы	formal program validation
IT	формальное доказательство правильности программы	formal program proof
progr.	формальное математическое доказательство	formal mathematical proof (ssn)
law	формальное представление доказательств в изъятие из постановления суда об исключении доказательств как недопустимых или о признании свидетеля ненадлежащим	avowal
law	формальное представление доказательств в изъятие из постановления суда об исключении доказательств как недопустимых или о признании свидетеля ненадлежащим	avowry