Materialien
FTSE 04 Change of Data Structure
FTSE 07 - Intro to Model Checking - UPPAAL
FTSE 11 model checking in practice
Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.