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
4
0
views
downloads
All versions This version
Views 44
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 44
Unique downloads 00

Share

Cite as