Overview of formal methods
From MaRDI portal
Publication:5196885
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- Mathematics and Software Verification
- Formal methods in computer technologies
- Concise guide to formal methods. Theory, fundamentals and industry applications
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
- scientific article; zbMATH DE number 1481757
Cited in
(11)- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Experience with applying formal methods to protocol specification and system architecture
- scientific article; zbMATH DE number 1390241 (Why is no real title available?)
- Formal methods of analysis of system properties
- Quality assurance of computing systems by formal development methods
- Linking formal methods in software development. A reflection on the development of rCOS
- Formal methods: Importance, experience, and comparative analysis
- Integration of multiple formal matrix models in Coq
- Mechanized formal methods: progress and prospects
- scientific article; zbMATH DE number 5722463 (Why is no real title available?)
- scientific article; zbMATH DE number 1481757 (Why is no real title available?)
This page was built for publication: Overview of formal methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5196885)
