Автоматизация доказательств (линейная целочисленная арифметика, интеграция с решателями), плагин Equations, рандомизированное тестирование, мутационные техники, экстракция
Introduction to Formal Verification