Links   |
(:nosearch:) Main /
Download(:nosearch:) 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 |