1980 search results - page 3 / 396 » Compositional Model Checking of Real Time Systems |
HYBRID
1995
Springer
13 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...
FDL
2003
IEEE
13 years 10 months ago
2003
IEEE
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
FMCAD
2006
Springer
13 years 9 months ago
2006
Springer
DSRT
2008
IEEE
13 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...