- Referenced in 27 articles
- timed automata, augmented with integer variables and stopwatches. It implemented several algorithms including safety synthesis...
- Referenced in 6 articles
- notations, including timed-automata enriched with stopwatches, Lustre, and a subset of duration calculus...
- Referenced in 26 articles
- Romeo: A tool for analyzing time Petri nets...
- Referenced in 44 articles
- The tool TINA -- construction of abstract state spaces...
- Referenced in 113 articles
- In 1995, HyTech broke new ground as a...
- Referenced in 327 articles
- HyTech is an automatic tool for the analysis...
- Referenced in 635 articles
- Uppaal is an integrated tool environment for modeling...
- Referenced in 2 articles
- Oris: a tool for modeling, verification and evaluation...
- Referenced in 4 articles
- New Polka is a library to handle convex...