GSTE is partitioned model checking

DOI10.1007/978-3-540-27813-9_18MaRDI QIDQ5312902zbMATH OpenOpenAlexFDO

Authors Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• GSTE is partitioned model checking
• Reasoning about GSTE assertion graphs
• Generalized symbolic trajectory evaluation -- abstraction in action
• Terminal satisfiability in GSTE
• Compositional specification and model checking in GSTE

Cited in

(7)

• Partitioned PLTL model-checking for refined transition systems
• Terminal satisfiability in GSTE
• GSTE is partitioned model checking
• A transformation-based approach to implication of GSTE assertion graphs
• Compositional specification and model checking in GSTE
• Theory and Applications of Models of Computation
• Data structures for symbolic multi-valued model-checking

This page was built for publication: GSTE is partitioned model checking

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