Module 1 — Functions & Equivalence Relations

Equivalence relations, partitions, and quotient sets. The mathematical foundation behind state lumping, bisimulation, and model minimization.

Katas in this module (3)

• Kata 1.1 — The Next State Is a Function
• Kata 1.2 — A Partition of the State Space
• Kata 1.3 — Two States You Cannot Tell Apart

Part of Mathematical Foundations of Model Checking on formal.org.