2 papers
cs.LO2010
A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction
Niklas Een, Alan Mishchenko, Nina Amla
This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abs…
cs.FL2010
Fault Diagnosis with Dynamic Observers
Franck Cassez, Stavros Tripakis
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser…