Bounded Model Checking for Partial Kripke Structures
From MaRDI portal
Publication:5505615
DOI10.1007/978-3-540-85762-4_26zbMath1161.68589MaRDI QIDQ5505615
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_26
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Uses Software
Cites Work