Learning Path

Propositional Logic → Capstone: Verify a Protocol

A graduate-level learning path covering the theory and practice of formally verifying network protocols using state space exploration, model checking, theorem proving, and invariant verification. It integrates formal logic, protocol modeling, and verification tools, culminating in a capstone project.