Published April 27, 2021
| Version v2
Software
Open
Cameleer: a Deductive Verification Tool for OCaml
Description
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
Files
(8.9 GB)
Name | Size | Download all |
---|---|---|
md5:7a4d497796b836823b6c2f4a32a12958
|
8.9 GB | Download |