Issues in formal methods

MaRDI QIDQ2906934zbMATH OpenFDO

Authors John Derrick, Howard Bowman

Publication date 5 September 2012

zbMATH Keywords

verificationdesignvalidationformal methodsrefinementunambiguous specification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal methods for distributed processing. A survey of object-oriented approaches.
• scientific article; zbMATH DE number 4084996
• Introduction to Reliable Distributed Programming
• Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
• Reactive Systems

Cited in

(5)

• scientific article; zbMATH DE number 1950671 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal methods for distributed processing. A survey of object-oriented approaches.
• scientific article; zbMATH DE number 4084996 (Why is no real title available?)
• Towards formal specification of a distributed computing system

This page was built for publication: Issues in formal methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906934)