Published April 9, 2024
| Version v2
Software
Open
Artifact for "Proactive Real-Time First-Order Enforcement"
-
1.
ETH Zurich
- 2. Københavns Universitet
Description
This artifact supplements our paper Proactive Real-Time First-Order Enforcement, which was accepted for publication and presentation at CAV 2024.
README.md contains instructions and further information.
Files
whyenf_artifact.zip
Files
(104.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f7bdb4bf6a3835bd4be618a9995ce228
|
104.3 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/runtime-enforcement/whyenf
- Programming language
- OCaml
- Development Status
- Active