средство формальной верификации кода(система построения строгого математического доказательства корректности программы по отношению к предъявляемым к ней требованиям; Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
