Software Open Access

Verification of Certifying Computations

Christine Rizkallah

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 (3.5 MB)
Name Size
checker-verification-v1.0.zip
md5:2499609625ba924eaae65444de502f07
3.5 MB Download
8
2
views
downloads
All versions This version
Views 88
Downloads 22
Data volume 7.1 MB7.1 MB
Unique views 88
Unique downloads 22

Share

Cite as