Drawing on techniques from logic, ... One notable study employed counterexample-guided inductive synthesis ... In Formal Methods for Software Engineering, pp. 455-488. Springer ...

Formal methods offer a mathematically rigorous framework for the specification, development and verification of programming languages and software systems.