Verified Model Checking of Timed Automata

This is the project page corresponding to our TACAS 18 paper.


The Uppaal benchmarks are not contained in the artifact below but can be downloaded here.
The benchmarks were run with the following configuration options:

Tested against Uppaal version 4.1.19. The benchmarks are derived from these.


Download artifact!