A Specifier’s Introduction to Formal Methods Jeannette M. Wing, Carnegie Mellon University Applied to computer systems development, formal methods provide mathematically based techniques that describe system properties. As such, they present a framework for systematically specifying, developing, and verifying systems. Formal methods used in developing computer systems are mathematically based te..