We will use a logic-based software analysis and transformation framework to implement various classical program analyses in a model-based setting. You will learn about
The course consists of
The course will be conducted in parallel with the project group “ Modellbasierte Softwareanalyse” (MoSA). Where appropriate, you will work together with the participants from the parallel course. Taking advantage of shared knowledge and added man-power, we will be able to tackle more interesting and challenging problems.
Both, seminar and lab, will take place in the b-it building , room 1.32 and 1.31.
agile participants spring lists iai uni bonn de(fill spaces with “
- - @ . . - .”)
|gk||Günter Kniesel||gk cs uni-bonn de||(0228) 73-4511||A107|
|dsp||Daniel Speicher||dsp cs uni-bonn de||(0228) 73-4315||A109|
|jn||Jan Nonnen||nonnen cs uni-bonn de||(0228) 73-4519||A123|