theory:start
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. | https://softech.cs.uni-kl.de/twiki/pub/Homepage/Publikationen/itp12.pdf][paper |
| PhD | The accompanying theory of the PhD thesis. |
theory/start.1372757380.txt.gz · Last modified: 2013/07/02 11:29 by Patrick Michel
