Local model checking and protocol analysis
From MaRDI portal
Publication:1856171
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
Related Items
Sequential and distributed on-the-fly computation of weak tau-confluence ⋮ Compositional verification of asynchronous concurrent systems using CADP