Model Checking of Software and Systems
Prof. Dr. Stefan Leue
Alina Bey, Mitra Tabaei
|Mi||10:00 - 12:00||C252|
|Do||10:00 - 12:00||C252|
The course will introduce into explicit state model checking for reactive software systems. Model checking is an algorithmic, automated technique for the behavioral analysis of soft- and hardware systems. We will illustrate the algorithmic foundations of this technique, present the SPIN tool, and address advanced topics. The accompanying project will address the modeling and analysis of an industrial case-study. Participants are expected to possess a basic knowledge in programming, concurrent systems, automata theory and logic.
Further Details and information on the accompanying website.
RSS-FeedUm automatisch benachrichtigt zu werden sobald eine neue Episode online ist:
2011/04/21 (Do) - NO LECTURE (Easter Holidays)
2011/05/05 (Do) - Transition Systems Part II
2011/06/02 (Do) - NO LECTURE (Holidays)
2011/06/23 (Do) - NO LECTURE (Holidays)