Hybrid BDD and All-SAT Method for Model Checking
From MaRDI portal
Publication:3630184
DOI10.1007/978-3-642-01748-3_15zbMath1241.68082MaRDI QIDQ3630184
Assaf Schuster, Orna Grumberg, Avi Yadgar
Publication date: 3 June 2009
Published in: Languages: From Formal to Natural (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-01748-3_15
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software