CAV 2021 Artifact Evaluation

This is a simple placeholder page for the companion artifact of the CAV 2021 tool paper "Cameleer: a Deductive Verification Tool for OCaml".

• The Virtual Box .ova file can be found here.

• The plain-text instructions file can be found here.

  This contains information about the keyboard layout, login and password for the virtual machine user, where to find the artifact documentation, and finally information about the virtual machine itself and the platform used to prepare the virtual machine image.

• The tool source code is publicly available here. It includes the Vagrant file for building a virtual machine.