© TYPEX - 2012
Powered by ℂDuce

TYPEX: TYPeful and cErtified XML

Software developped within the project

XML Reasoning Solver Project

Check out the online demo of the μ-calculus solver.

Tree Automata Toolkit (TAToo): An XPath engine based on tree automata

The preliminary implementation supports Navigational XPath (including toplevel |, arbitrary negation, nested filters, and all navigational axes). You can follow its development here.

XML Concepts formalized in the Coq proof assistant

Browse the code here. You need to be a registered member of the project.