86 search results - page 1 / 18 » Timed Diagnostics for Reachability Properties |
TACAS
1999
Springer
13 years 9 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
ENTCS
2006
13 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...