Skip to content
STIMSMITH

State-based Model Checking

Technique
First seen 7/30/2026
Last seen 7/30/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking ← uses 100% 2e
The paper uses state-based model checking as one of the two interleaved methods.
Binary Decision Diagrams (BDDs) uses → 100% 1e
State-based model checking uses BDDs for Boolean level reasoning.
Image Computation uses → 100% 1e
State-based model checking uses image computation to compute reachable states.