Skip to content

Files

Latest commit

47ccf93 · Nov 18, 2021

History

History

isabelle

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Nov 18, 2021
Nov 18, 2021
Nov 18, 2021
Isabelle files with Hoare graphs for several CoreUtils examples.

1.) Install Isabelle2021
		https://isabelle.in.tum.de

2.) Install the Archive of Formal Proofs:
	https://www.isa-afp.org/using.html

3.) Open the main theory files:

  examples/X/X.thy


	where X is one of the examples, i.e., X in {du, gzip, od, ...}