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

  • Thomas Neele (Contributor)
  • Jaco van de Pol (Aarhus University) (Contributor)

Dataset

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.
Date made available14 Apr 2023
PublisherZenodo

Access Dataset

Cite this