Practical CTL* model checking: Should SPIN be extended?
From MaRDI portal
Publication:1856161
DOI10.1007/s100090050042zbMath1059.68591MaRDI QIDQ1856161
Willem Visser, Howard Barringer
Publication date: 2000
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/s100090050042
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A CTL* Model Checker for Petri Nets, Automatically verifying temporal properties of pointer programs with cyclic proof, Linear temporal logic symbolic model checking, On decidability properties of local sentences, CTL model checking on a shared-memory architecture, An Automata-Theoretic Approach to Infinite-State Systems
Uses Software