Синонимы к словосочетанию "формальная спецификация"

Слова и выражения связанные по смыслу со словосочетанием "формальная спецификация"

• формальная спецификация
• формальная верификация
• формальная семантика
• язык спецификаций
• контрактное программирование
• статическая типизация
• архитектура набора команд