User Tools

Site Tools


This is an old revision of the document!

Isabelle/HOL Theories

XCend is based on a full formalization in Isabelle/HOL.

The full theory (as HTML and PDF) is available here:

Version Description Document
ITP Published at ITP 2012 in Princeton.][paper
PhD The accompanying theory of the PhD thesis.
theory/start.1372757380.txt.gz · Last modified: 2013/07/02 11:29 by Patrick Michel