226 search results - page 15 / 46 » Symbolic Model Checking for Real-time Systems |
FORTE
2007
15 years 2 months ago
2007
131
click to vote
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
145
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
126
click to vote
IJCAI
2003
15 years 2 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...