A verification benchmark is a model together with a list of properties to be checked on the model.
File
Embcontroller_M2.zip
Submitted by Goran Frehse on February 2nd, 2017
File
two_genes.txt
Submitted by Christian Schilling on January 18th, 2017
File
NAV.zip
Submitted by Lei Bu on January 14th, 2017
File
benchmarks.tar.gz
Submitted by Lei Bu on December 19th, 2016
File
motor_generate.cpp
Submitted by Lei Bu on December 19th, 2016
File
acc.tar.bz2
Submitted by Mirco Giacobbe on December 16th, 2016
File
neuron.cfg
Submitted by Stanley Bak on December 13th, 2016
File
neuron.xml
Submitted by Stanley Bak on December 13th, 2016
File
Building.cfg
Submitted by Stanley Bak on December 7th, 2016
File
Building.xml
Submitted by Stanley Bak on December 7th, 2016