Course Chapters
Table of Contents
Explore each chapter of model checking in a structured learning sequence.
1 chapters available
Model Checking
Explore comprehensive resources and materials for this computer science field.
Core Concepts
Key Topics
Essential concepts and areas you should master in model checking.
Buchi Automata
Linear Temporal Logic
Bisimulaion
Computation Tree Logic
Bisimulation-Qotienting Algorithms
Simulation-Quotienting Algorithms
Stutter Bisimulation
Stutter Linear-Time Relations
Partial Order Reduction
Timed Automata
Probabilistic Computational Tree Logic
Probabilistic Bisimulation
Recommended Reading
Recommended Books
Carefully selected books to deepen your understanding of model checking.
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
Practice Problems
Featured Problem
Test your knowledge with this model checking problem
Problem 1
Test your knowledge with this model checking problem
Start problem
Problem 2
Test your knowledge with this model checking problem
Start problem
Problem 3
Test your knowledge with this model checking problem
Start problem
Continue Learning
Ready to dive deeper into model checking? Explore more resources and connect with the community.