(original) (raw)

Under construction. Available downloads:

• Ariadne's complete source code and Coq proof
• Minimal code base for Balanced n-bit Gray Code (MIT license). Please, if you do decide to use this software in any product, let me know (raoul.strackx@cs.kuleuven.be)
• The Ariadne [paper](./downloads/strackx - Ariadne: A minimal Approach to State Continuity.pdf), bibtex and presentation