MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
From MaRDI portal
Publication:3510873
DOI10.1007/978-3-540-68746-7_20zbMath1143.68455OpenAlexW1607121733MaRDI QIDQ3510873
Publication date: 3 July 2008
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_20
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
LTL under reductions with weaker conditions than stutter invariance ⋮ A novel approach for supervisor synthesis to enforce opacity of discrete event systems ⋮ Component-wise incremental LTL model checking
Uses Software
Cites Work
This page was built for publication: MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs