Formal methods. An appetizer

DOI10.1007/978-3-030-05156-3MaRDI QIDQ5165474zbMATH OpenOpenAlexFDO

Authors Flemming Nielson, Hanne Riis Nielson

Publication date 16 November 2021

Full work available at URL https://doi.org/10.1007/978-3-030-05156-3

Mathematics Subject Classification ID

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

Describes a project that uses

Uses Software

• F#

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)