Guarded Command Language Compiler, Intepreter and Program Analysis It was developed as part of the 02141 Computer Science Modelling course at the Technical University of Denmark with Jacopo Ceccuti.