Model Checking of Software and Systems


Prof. Dr. Stefan Leue

Alina Bey, Mitra Tabaei

Termine (Vorlesung)

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.


Um automatisch benachrichtigt zu werden sobald eine neue Episode online ist:

RSS-Feed abonnieren