Mechanized formal methods: progress and prospects

DOI10.1007/3-540-62034-6_36MaRDI QIDQ6567754zbMATHFDO

Authors John Rushby

Publication date 5 July 2024

Mathematics Subject Classification ID

History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• 40 years of formal methods. Some obstacles and some possibilities?
• Overview of formal methods
• Mathematics and Software Verification
• Correct Hardware Design and Verification Methods
• Computer Aided Verification

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 784358 (Why is no real title available?)
• Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
• Formal methods in computer-aided design. 1st international conference, FMCAD '96, Palo Alto, CA, USA, November 6--8, 1996. Proceedings

This page was built for publication: Mechanized formal methods: progress and prospects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567754)