Published April 14, 2015 | Version v1.0
Software Open

Verification of Certifying Computations

Creators

  • 1. Max-Planck Institüt für Informatik, Saarbrücken, Germany

Description

REQUIREMENTS:

  • Isabelle2014 Interactive Theorem Prover

    http://isabelle.in.tum.de/

  • Simpl

    http://afp.sourceforge.net/entries/Simpl.shtml

  • AutoCorres version 1.0

    http://ssrg.nicta.com.au/projects/TS/autocorres/

  • Graph Theory

    http://afp.sourceforge.net/entries/Graph_Theory.shtml

For convenience the latter three theories are also provided in this repository.

Files

checker-verification-v1.0.zip

Files (3.5 MB)

Name Size Download all
md5:2499609625ba924eaae65444de502f07
3.5 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/crizkallah/checker-verification/tree/v1.0 (URL)