# Formal Verification

> Model checking, theorem proving, and program verification

- Skill: `neuralblitz/formal-verification` (Agent Skill)
- Install (CLI): `npx skillmds@latest add neuralblitz/formal-verification`
- Raw SKILL.md: https://api.skillmd.com/api/skills/neuralblitz/formal-verification/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- License: MIT
- Author: NeuralBlitz (https://skillmd.com/u/neuralblitz)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/neuralblitz/formal-verification

---


## What I do
- Verify software correctness
- Apply model checking
- Use theorem provers
- Specify system properties

## When to use me
When working on formal methods or software verification.

## Key Concepts
- Model checking
- SAT/SMT solvers
- Hoare logic
- Temporal logic
- Theorem proving
- Program synthesis
- Runtime verification