The Quantitative Verification Benchmark Set.

Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters

Browse the full TACAS paper archive.