Issues in formal methods

MaRDI QIDQ2906934zbMATH OpenFDO

Authors John Derrick, Howard Bowman

Publication date 5 September 2012

zbMATH Keywords

designformal methodsrefinementunambiguous specificationvalidationverification

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) 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)

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

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)