a Language to define Statements About Assembly Functions
Guide is a UI layout and data-binding system.
Kammerjäger is a debugging tool with integrated correctness proving.
The Co-Simulation Adaptation Platform
Lexical, grammatical and syntactic analyzer of C÷÷.