Module 10 — Engines and Scale Survey

Read a SAT assignment, add helper assertions, model memory as an array, and scale proofs with black-boxing, cone of influence and compositional reasoning.

Katas in this module (6)

• Kata 10.1 — Read the SAT Assignment
• Kata 10.2 — Helper Assertion
• Kata 10.3 — Memory as an Array
• Kata 10.4 — Black-Boxing
• Kata 10.5 — The Cone of Influence
• Kata 10.6 — Compositional Proof

Part of Discrete Mathematics for Formal Verification on formal.org.