scientific article; zbMATH DE number 1953037

MaRDI QIDQ4414396zbMATH OpenFDO

Authors Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Zeliha Dilsun Kirli, Nancy Lynch

Publication date 25 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750283.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• Formal Verification of Distributed Algorithms
• Formal verification of Multi-Paxos for distributed consensus
• Formal modeling and verification of Paxos based on Coq
• A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
• Testing and Proving Distributed Algorithms in Constructive Type Theory

Cited in

(3)

• A case study of verification, validation, and accreditation for advanced distributed simulation
• scientific article; zbMATH DE number 1337890 (Why is no real title available?)
• Testing and Proving Distributed Algorithms in Constructive Type Theory

Describes a project that uses

Uses Software

• SLAM
• LARCH
• HOL
• MOCHA

This page was built for publication:

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