« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics Finished [M.Sc. Team Project] Ultimate Team Project
Document Actions

[M.Sc. Team Project] Ultimate Team Project

Course type Master Team Project
Instructors Daniel Dietsch, Evren ErmisMatthias 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.
Personal tools