Published June 13, 2025
| Version v1
Software
Open
Almost Fair Simulations
Authors/Creators
-
1.
Helmholtz Center for Information Security
-
2.
Saarland University
Description
This artifact contains the mechanized proofs (in Rocq) accompanying the paper Almost Fair Simulations submitted to ICFP 2025.
It contains the formalization of several
notions of fairness preserving simulation relations to prove language inclusion of Büchi automata.
- The archive `sources.zip` contains the documented Rocq sources (quick to download).
- The archive `sources_with_vm.zip` contains the Rocq sources PLUS a QEMU image with dependencies preinstalled (heavy to download).