Uppaal Stratego
No abstract available.
Related papers
- Gradually typing strategies SLE 2020
- UPPAAL: Status & Developments CAV 1997
- Faster Than Uppaal? CAV 2008
- Vooduu: Verification of Object-Oriented Designs Using UPPAAL TACAS 2004
- UPPAAL-Tiga: Time for Playing Games! CAV 2007
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking TACAS 2007
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- UPPAAL in 1995 TACAS 1996