2661 search results - page 156 / 533 » Model Checking Performability Properties |
180
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
120
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
148
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
121
Voted
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
150
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...