Enhancing model checking in verification by AI techniques

• 31 August 1999
• journal article
• Published by Elsevier in Artificial Intelligence
• Vol. 112  (1-2) , 57-104
• https://doi.org/10.1016/s0004-3702(99)00039-9

Abstract

Keywords

• ABDUCTIVE THEORY REVISION
• MODEL CHECKING
• DIAGNOSIS
• REPAIR