Published April 27, 2021
| Version v1
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:bad649404449108aa6555ff59e432b6d
|
8.9 GB | Download |