You are here: Home › … › Student Projects and … › Finished › [M.Sc. Team Project] Ultimate …

[M.Sc. Team Project] Ultimate Team Project

Course type	Master Team Project
Instructors	Daniel Dietsch, Evren Ermis, Matthias Heizmann, Jochen Hoenicke
Credits	??
Course Catalog

Extend the ULTIMATE software model checker to a tool which can verify C code, is integrated in Eclipse CDT and available via a web interface.