2 search results - page 1 / 1 » Heuristic-guided counterexample search in FLAVERS |
78
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
100
Voted
FORMATS
2006
Springer
15 years 4 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...