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