Benchmark

A verification benchmark is a model together with a list of properties to be checked on the model.
file

Visible to the public arch14_attachment_7_update_18Dec2014.zip

file

Visible to the public arch14_attachment_7_update_18Dec2014.zip

file

Visible to the public arch14_submission_13.pdf

This version of the benchmark fixes a typo (minus sign) in eq (2).