Published April 27, 2021
| Version v2
Software
Open
Cameleer: a Deductive Verification Tool for OCaml
Authors/Creators
- 1. Nova LINCS & Nova School of Science and Technology
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 |