CAV2021_Artefact.ova.zip

software

posted on 2021-04-29, 19:14 authored by Alessandro Abate, Mirco Giacobbe, Diptarko RoyDiptarko Roy

Virtual Machine for CAV2021 Artefact Evaluation.

History

Usage metrics

Categories

Programming languages

Keywords

learning verification Z3 Python JAX Programming Languages

Licence

Exports