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