University of Konstanz
Chair for Software Engineering
Prof. Dr. Stefan Leue

Project: Software Engineering


Schedule



Participants  

Master students

Subject Area

Informatik der Systeme / Angewandte Informatik

Offering Suitable for Participants from Other Programs and Subject Areas

Yes, but please contact the instructor to determine the suitability of your background.

Prerequisites Master studies

Contents / Syllabus

This project course focuses on methods and tools for the formal analysis of software systems. Project assignments can include the development of software analysis tools as well as the application of existing tools to the analysis of complex software system examples.

Credit Requirements

Project report and presentation of project results

Literature

Will be announced.

Credits

SWS: 4
ECTS-points: 10