UPPAAL: Status & Developments
Abstract elided by the publisher.
Related papers
- UPPAAL in 1995 TACAS 1996
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- Faster Than Uppaal? CAV 2008
- Vooduu: Verification of Object-Oriented Designs Using UPPAAL TACAS 2004
- Uppaal Stratego TACAS 2015
- UPPAAL-Tiga: Time for Playing Games! CAV 2007
- A Status Report on the oo7 OODBMS Benchmarking Effort OOPSLA 1994
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking TACAS 2007