Formal specification and verification

DOI10.1145/3335772.3335780MaRDI QIDQ5133670zbMATH OpenOpenAlexFDO

Authors Stephan Merz

Publication date 10 November 2020

Published in Concurrency: the Works of Leslie Lamport (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-02387780/file/lamport-book-only-formal.pdf

Mathematics Subject Classification ID

Temporal logic (03B44) History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1476493
• Formal verification of Multi-Paxos for distributed consensus
• scientific article; zbMATH DE number 910717
• scientific article; zbMATH DE number 1405446
• Temporal logic and applications—a tutorial

Cited in

(11)

• Introducing H, an institution-based formal specification and verification language
• Formal specification with B
• Formal verification for non-formalists
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• scientific article; zbMATH DE number 2064460 (Why is no real title available?)
• scientific article; zbMATH DE number 1481757 (Why is no real title available?)
• Formal Specification - A Comparison of Two Techniques
• Formal software development in the Verification Support Environment (VSE)
• Automated Technology for Verification and Analysis
• Formal verification of activity-based specification of protocols

This page was built for publication: Formal specification and verification

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