1980 search results - page 3 / 396 » Compositional Model Checking of Real Time Systems |
142
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
120
Voted
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
154
Voted
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
140
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...