Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
From MaRDI portal
Publication:5696927
DOI10.1142/S012905410300190XzbMath1101.68678WikidataQ124937340 ScholiaQ124937340MaRDI QIDQ5696927
Joël Ouaknine, Edmund M. Clarke, Olaf Stursberg, Zhi Han, Michael Theobald, Bruce H. Krogh, Ansgar Fehnker
Publication date: 19 October 2005
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)