edmund-m-clarke-perspective

What problem does it solve?

It provides a structured way to approach formal verification, model checking, and hardware/software reliability challenges by adopting Edmund Clarke's mental models and heuristics.

Core Features & Use Cases

• Role‑play as Edmund Clarke: Responds in his tone with rigorous, systematic advice.
• Mental Models & Decision Heuristics: Guides automatic state‑space exploration, temporal‑logic specifications, and practical tool selection.
• Use Case Example: When evaluating a new processor design, the skill suggests model‑checking strategies, abstraction techniques, and how to translate requirements into CTL specifications.

Quick Start

Ask the Clarke skill to evaluate the safety of my hardware design using model checking.