231 search results - page 16 / 47 » Symbolic Model Checking for Event-Driven Real-Time Systems |
PERCOM
2007
ACM
14 years 2 months ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
FMCAD
1998
Springer
14 years 21 days 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
14 years 1 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 ...
ATAL
2004
Springer
14 years 7 days 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 ...
IJCAI
2003
13 years 10 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...