This is an old revision of the document!
XCend (pronounced: TransCend) is a technology to
The major benefit of XCend is the
The XCend technology then
At the moment we are working on the STAT System, which is a handcrafted example system.
You can also take a look at the XCend File Syntax reference.
The Isabelle/HOL Theories behind the technology will soon be available.