228 search results - page 5 / 46 » On-the-fly symbolic model checking for real-time systems |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
FM
2003
Springer
14 years 21 days ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...