Verification Benchmarks

List of Verification Benchmarks:

1. A. Fehnker and F. Ivancic, Benchmarks for Hybrid System Verification, 2004.
   Website: http://www.cse.unsw.edu.au/~ansgar/benchmark/
2. Stefan Ratschan and Zhikun She, Benchmarks for Safety Verification of Hybrid Systems, 2005.
   Website: http://www.mpi-inf.mpg.de/~ratschan/hsolver/benchmarks/