An *Informal* Intro to Formal Methods for Software Engineers (2019)
[Slides]Abstract
This lesson goes over the basic concepts in Formal Methods, focusing on software specification and verification techniques. Pros and cons ot these techniques are analyzed, hinting at the fundamental decidability and feasibility issues, and providing examples of industrial case studies. A very simple hands-on model checking example on a trivial mutual exclusion protocol is also included.