Terms containing корректность кода

Subject	Russian	English
progr.	Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований	Internal type checker validates code after transformations (ssn)
progr.	выполнять формальное доказательство корректности и верификацию кода	perform formal proof and verification on code (корпорации AdaCore Alex_Odeychuk)
progr.	корректность кода	code's correctness (Alex_Odeychuk)
progr.	корректность кода	code correctness (в соответствии с формально определенной спецификацией Alex_Odeychuk)
softw.	математически доказанная корректность кода	mathematically proven code correctness (embedded.com Alex_Odeychuk)
progr.	процесс компиляции с доказыванием формальной корректности кода	compilation/proof processes (Alex_Odeychuk)