LTL Generalized Model Checking Revisited

DOI10.1007/978-3-540-93900-9_11zbMath1206.68187OpenAlexW1619000467MaRDI QIDQ3600466

Patrice Godefroid, Nir Piterman

Publication date: 10 February 2009

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

Full work available at URL: http://hdl.handle.net/2381/10037

Mathematics Subject Classification ID

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

Related Items (5)

Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ Model checking properties on reduced trace systems ⋮ Multi-robot LTL planning under uncertainty ⋮ TOrPEDO : witnessing model correctness with topological proofs

This page was built for publication: LTL Generalized Model Checking Revisited