Published July 14, 2023 | Version v1
Software Open

A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation

  • 1. RWTH Aachen University
  • 2. Saarland University, Saarland Informatics Campus; and University College London
  • 3. Technical University of Denmark

Description

This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabilistic Programs".

Files

Files (271.5 MB)

Name Size Download all
md5:e49036e98cac221858ac5bd04b46c5b6
271.5 MB Download

Additional details

Funding

FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 787914
European Commission