May 19, 2020 What is Formal Methods

Formal methods are techniques used to model complex systems as mathematical entities. By building a mathematically rigorous model of a complex system, it is possible to verify the system's properties in a more thorough fashion than empirical testing. The phrase “mathematically rigorous” means that t

Read More