A verification benchmark is a model together with a list of properties to be checked on the model.
File
readme.txt
Submitted by Goran Frehse on November 30th, 2016
File
platoonComp.xml
Submitted by Goran Frehse on November 30th, 2016
File
break20_box_1.cfg
Submitted by Goran Frehse on November 30th, 2016
File
EMB_hybrid.zip
Submitted by Federica Pepponi on May 20th, 2015
Submitted by Matthias Althoff on December 18th, 2014
Submitted by Matthias Althoff on December 18th, 2014
This version of the benchmark fixes a typo (minus sign) in eq (2).
Submitted by Goran Frehse on April 11th, 2014