Enhancing model checking in verification by AI techniques
From MaRDI portal
Publication:1606310
DOI10.1016/S0004-3702(99)00039-9zbMath0996.68104WikidataQ59259734 ScholiaQ59259734MaRDI QIDQ1606310
Thomas Eiter, Francesco Buccafurri, Georg Gottlob, Nicola Leone
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
68T27: Logic in artificial intelligence
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On ACTL formulas having linear counterexamples, Finding and fixing faults, Program repair without regret, CTL update of Kripke models through protections, Model Repair for Probabilistic Systems