Overview of formal methods
From MaRDI portal
Publication:5196885
DOI10.13328/J.CNKI.JOS.005652zbMATH Open1438.68030MaRDI QIDQ5196885FDOQ5196885
Authors: Ji Wang, Naijun Zhan, Xinyu Feng, Zhiming Liu 
Publication date: 20 September 2019
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
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)
Cited In (11)
- Formal methods of analysis of system properties
- Quality assurance of computing systems by formal development methods
- Mechanized formal methods: progress and prospects
- Experience with applying formal methods to protocol specification and system architecture
- Integration of multiple formal matrix models in Coq
- Formal methods: Importance, experience, and comparative analysis
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Linking formal methods in software development. A reflection on the development of rCOS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
