Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- 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
- Formal methods in computer science
- Concise guide to formal methods. Theory, fundamentals and industry applications
- Software reliability methods. Foreword by Edmund M. Clarke
- Reactive Systems
Cited in
(8)- 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
- Assembling a prehistory for formal methods: a personal view
- scientific article; zbMATH DE number 1696876 (Why is no real title available?)
- scientific article; zbMATH DE number 107878 (Why is no real title available?)
- Formal methods in computer science
- scientific article; zbMATH DE number 7075870 (Why is no real title available?)
- Formal methods: The very idea some thoughts about why they work when they work
This page was built for publication: Formal methods. An appetizer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5165474)
