Mechanized formal methods: progress and prospects

DOI10.1007/3-540-62034-6_36zbMATH Open1541.68007MaRDI QIDQ6567754FDOQ6567754

Authors: John Rushby 

Publication date: 5 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
• Title not available (Why is that?)
• 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)