Software Engineering
We improve the software productivity and quality by automating the software development process. Tools automatically analyze and verify properties of systems (whether the system is only a requirement specification, already a design model or even a piece of program code). The tools are software artefacts that are themselves applied to software artefacts. Analysis and verification is providing proofs, i.e., an activity that is originally proper to mathematicians. We mechanize this activity, for proofs about properties of systems. How is this possible?
News
Alpine Verification MeetingThe Chair of Software Engineering, headed by Prof. Andreas Podelski, hosted the Alpine Verification Meeting (AVM) in Freiburg from September 4 to 6. | SV-COMP competitionFreiburg team wins for the second time in a a row | Prof. Andreas Podelski erhält 1,15 Millionen EuroParlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik |
More news