There is a newer version of the record available.

Published April 14, 2023 | Version v1
Software Open

Replication package with proofs for the paper "Operations on Fixpoint Equation Systems"

Creators

  • 1. Eindhoven University of Technology
  • 2. Aarhus University

Description

This archive contains mechanized proofs for the theorems and lemmas that appear in the paper

Operations on Fixpoint Equation Systems, Thomas Neele and Jaco van de Pol

This package contains proofs in both Coq and PVS. See the included README file for details on how to execute the proofs.

Files

operations-on-fes_proofs.zip

Files (95.5 kB)

Name Size Download all
md5:4d82e85284a334fffdc0de7d433975e9
95.5 kB Preview Download