 |
| Russian | English |
| программное средство построения формальных моделей программ и верификации их функциональных свойств | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
| система построения доказательства соответствия модели программы её формальной спецификации | formal proof engine (Alex_Odeychuk) |