Software Open Access

Cameleer: a Deductive Verification Tool for OCaml

Pereira, Mário; Ravara, António

Virtual Machine image (file .OVA) containing the artifact we are submitting as part of the CAV 2021 evaluation process. Our paper is entitled "Cameleer: a Deductive Verification Tool for OCaml".

 The Virtual Machine contains the source code of the Cameleer tool, as well as a gallery of examples to benchmark and exercise the tool.

Files (8.9 GB)
Name Size
cav_ae.ova
md5:7a4d497796b836823b6c2f4a32a12958
8.9 GB Download
288
35
views
downloads
All versions This version
Views 288212
Downloads 3527
Data volume 312.5 GB241.1 GB
Unique views 234185
Unique downloads 2823

Share

Cite as