Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

DOI10.1016/J.ENTCS.2007.03.022zbMath1279.68247OpenAlexW2145443760MaRDI QIDQ2870335

Edward Hermann Haeusler, Markus Endler, Carlos Bazilio

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.022

zbMATH Keywords

formal verificationmodel checkingprotocol specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• IF-2.0
• SPIN
• NuSMV
• TXL

Cites Work

• A calculus of mobile processes. I
• NuSMV: A new symbolic model checker
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems