Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Comparing model checking and logical reasoning for real-time systems
Formal Aspects of Computing
Directed explicit-state model checking in the validation of communication protocols
International Journal on Software Tools for Technology Transfer (STTT)
Adapting an AI planning heuristic for directed model checking
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Transition-Based Directed Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
The Causal Graph Revisited for Directed Model Checking
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Context-enhanced directed model checking
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Abstractions and pattern databases: the quest for succinctness and accuracy
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
A box-based distance between regions for guiding the reachability analysis of spaceex
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Mcta: heuristics and search for timed systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |
It is probably very hard to develop a new model checker that is faster than Uppaalfor verifying (correct)timed automata. In fact, our tool Mctadoes not even try to compete with Uppaalin this (i.e., Uppaal's) arena. Instead, Mctais geared towards analyzing incorrectspecifications of timed automata. It returns (shorter) error traces faster.