SAT-Based Model Checking

From MaRDI portal
Publication:3176368

DOI10.1007/978-3-319-10575-8_10zbMath1392.68232OpenAlexW2803222079MaRDI QIDQ3176368

Daniel Kroening, Armin Biere

Publication date: 20 July 2018

Published in: Handbook of Model Checking (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10575-8_10



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (4)


Uses Software


Cites Work


This page was built for publication: SAT-Based Model Checking