The paper presented at CAV 2015 is available here.

The slides presented at CAV 2015 are available here.

A detailed technical report is available here.

All the artifacts (models, results and benchmarks) are available here as an archive file. These artifacts successfully passed the CAV 2015 artifact evaluation.

A preconfigured Linux 64 virtual machine containing the artifacts is available here. The password for the session is ae.

For any remarks or questions about the artifacts, please contact: anthony at fbk dot eu