Formal Methods at Scale: Workshops and Opportunity Motivations

Presentation by Brad Martin at the Winter '21 SoS Lablet Quarterly Meeting



Two workshops were convened in 2019 on the topic of Formal Methods at Scale. Participants from U.S. industry, government, and academia gathered to discuss recent advances in the application of formal methods at scale and prospects for the future. The workshops showcased excitement in the community regarding the advances in formal methods technology, the scale of existing applications, and potential for a new and broader scope for formal methods applications. Specific topics discussed included improvements in tools, practices, and training and characteristics of existing and emerging applications. Ultimately pointing the way towards opportunities for additional actions with the potential for positive impact.