LTL Generalized Model Checking Revisited
From MaRDI portal
Publication:3600466
DOI10.1007/978-3-540-93900-9_11zbMath1206.68187MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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