Local model checking and protocol analysis

DOI10.1007/S100090050031MaRDI QIDQ1856171zbMATH OpenOpenAlexFDO

Authors Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

Publication date 1999

Published in International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s100090050031

zbMATH Keywords

modal mu-calculusmodel checkingprotocol verificationreal-timestate explosion

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087626
• scientific article; zbMATH DE number 910719
• An algorithmic technique for protocol verification
• Model-checking for probabilistic real-time systems
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus

Cited in

(4)

• Compositional verification of asynchronous concurrent systems using CADP
• Routing information protocol in HOL/SPIN
• p‐Version interface elements in global/local analysis
• Sequential and distributed on-the-fly computation of weak tau-confluence

This page was built for publication: Local model checking and protocol analysis

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