Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Cameleer: a Deductive Verification Tool for OCaml

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • الموضوع:
      2021
    • Collection:
      Smithsonian Institution: Digital Repository
    • نبذة مختصرة :
      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.
    • Relation:
      https://figshare.com/articles/software/Cameleer_a_Deductive_Verification_Tool_for_OCaml/14499810
    • الرقم المعرف:
      10.5281/zenodo.4724119
    • الدخول الالكتروني :
      https://doi.org/10.5281/zenodo.4724119
    • Rights:
      CC BY 4.0
    • الرقم المعرف:
      edsbas.A4DEA941
HoldingsOnline