36:10Moderne Methoden der Software-Entwicklung, Vorlesung 14: Der CTL-Model Checking-AlgorithmusSebastian Küpper203 viewsView & Download
28:43Konstantin Läufer & George K. Thiruvathukal - TLA+ for All: Model Checking in a Python NotebookTLA+ - The Temporal Logic of Actions166 viewsView & Download