ECDAR
From MaRDI portal
swMATH2824MaRDI QIDQ15363FDOQ15363
Author name not available (Why is that?)
Official website: http://ecdar.cs.aau.dk/
Cited In (12)
- Title not available (Why is that?)
- Robust specification of real time components
- Revisiting timed specification theories: a linear-time perspective
- Refinement checking on parametric modal transition systems
- Compositional probabilistic verification through multi-objective model checking
- Motras
- PyEcdar
- MIO Workbench
- UPPAAL TIGA
- New results on timed specifications
- MoTraS: a tool for modal transition systems and their extensions
- Robust synthesis for real-time systems
This page was built for software: ECDAR
