Teaching

Formal Methods in Algorithmic Cheminformatics and Systems Biology

Winter Semester 2024–25

Introduction and Outline (9th October 2024) [Download]
Petri nets (16th & 23rd October 2024) [Download]
Boolean networks (30th October, 6th & 13th November 2024) [Download]
Stochastic Petri nets (20th & 27th November 2024) [Download]
Simulation (4th December 2024) [Download]
Kappa site graph transformation (4th & 11th December 2024) [Download]
Model Checking (18th December 2024) [Download]
Abstract Interpretation (8th January 2025) [Download]
Unfolding (15th January 2025) [Download]