# Model Checking

> Model checking, temporal logic, and system verification

- Skill: `neuralblitz/model-checking` (Agent Skill)
- Install (CLI): `npx skillmds@latest add neuralblitz/model-checking`
- Raw SKILL.md: https://api.skillmd.com/api/skills/neuralblitz/model-checking/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/model-checking

---


## What I do
- Verify system properties
- Apply model checking tools
- Specify requirements formally
- Find bugs in systems

## When to use me
When working on formal verification or system correctness.

## Key Concepts
- CTL/LTL
- SPIN
- NuSMV
- Abstraction
- Counterexamples
- State explosion
- Bounded model checking