File
Automated Reasoning and the future of Formal Methods
Submitted by Clark Barrett on January 14th, 2021
File
FM @ Scale Presentation - Bjourner
Submitted by Anonymous on January 14th, 2021
File
Making the (Software) TCB Trustworthy
Submitted by Anonymous on January 14th, 2021
File
Industrial use (of ACL2) for Hardware Verification
Submitted by Warren Hunt on January 14th, 2021
File
Proofs, Proverbs, Processes at Scale
Natarajan Shankar Submitted by Natarajan Shankar on January 14th, 2021
File
FM @ Scale Panel Discussion - Eric Smith
Submitted by Eric Smith on January 14th, 2021
File
Injecting Formal Methods into the Mainstream
Submitted by Anonymous on January 14th, 2021
File
Formal Methods at the National Science Foundation
Submitted by Nina Amla on January 14th, 2021
File
Specification-based Software Engineering
Submitted by Anonymous on January 14th, 2021
File
The Formal/Informal Boundary for Database-oriented Analyses
Submitted by Anonymous on January 14th, 2021
Subscribe to Slides