Serviceverbund KIM

Streaming Server

Login |
 
 

Model Checking of Software and Systems

Dozenten

Prof. Dr. Stefan Leue

Alina Bey, Mitra Tabaei

Termine (Vorlesung)

Mi 10:00 - 12:00 C252
Do 10:00 - 12:00 C252

Inhalt

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-Feed

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

RSS LogoRSS-Feed abonnieren