Published April 27, 2021 | Version v2
Software Open

Cameleer: a Deductive Verification Tool for OCaml

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

Additional details

Funding

Cameleer – Principles and Methods to Verify OCaml Programs 897873
European Commission