Model Checking

Explore comprehensive resources and materials for this computer science field.

Course Chapters

Table of Contents

Explore each chapter of model checking in a structured learning sequence.

1 chapters available
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.