swMATH13332MaRDI QIDQ25247FDOQ25247
Author name not available (Why is that?)
Official website: http://opaal-modelchecker.com/
Cited In (8)
- Multi-core Reachability for Timed Automata
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- VeriSIMPL
- Algorithm 97
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
- TarTar
- Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
This page was built for software: opaal
