Local model checking and protocol analysis

DOI10.1007/s100090050031zbMath1059.68584OpenAlexW2013208178MaRDI QIDQ1856171

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

model checkingreal-timemodal mu-calculusstate explosionprotocol verification

Mathematics Subject Classification ID

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

Related Items

Sequential and distributed on-the-fly computation of weak tau-confluence ⋮ Compositional verification of asynchronous concurrent systems using CADP