Enhancing model checking in verification by AI techniques

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)

zbMATH Keywords

model checking

Mathematics Subject Classification ID

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, Model Repair for Probabilistic Systems