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

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

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