This seminar will deal with different static analysis approaches for embedded systems software. The topics are:
A portion of the topics will deal with the according basics while other topics will deal with the application of these approaches.
The seminar is a block seminar. The first meeting will be either at the end of the semester holidays or at the beginning of the winter semester. The presentations will take place in February 2009 on two consecutive dates. There will mandatory deadlines for the papers and slides inbetween.