Terms for subject Software containing модель системы

Russian	English
платформа проектирования систем с повышенными требованиями к безопасности на основе моделей	platform for designing safety-critical systems from models (Alex_Odeychuk)
система построения доказательства соответствия модели программы её формальной спецификации	formal proof engine (Alex_Odeychuk)