Formal Methods at Scale 2019 Workshops Report
Formal methods for systems assurance have a rich history spanning half a century. Even in the early days of computing, there were efforts directed at mathematical specifications and proof of properties of programs. Motivated by emerging uses of computing software and hardware in critical systems, several U.S. agencies …