Skip to content
STIMSMITH

State Prioritization

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Over-approximated Pre-image Operator uses → 100% 2e
State prioritization uses over-approximated pre-image operator for computing abstract backward states.
HMC (Hybrid Model Checker) ← implements 100% 2e
HMC implements state prioritization for guiding the hybrid search.
Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking ← introduces 100% 1e
The paper introduces state prioritization as part of the hybrid model checking approach.
Goal-directed Lighthouses (glh) implements → 100% 1e
State prioritization implements goal-directed lighthouses heuristic.
Deep-state Prioritization (dfs) implements → 100% 1e
State prioritization implements deep-state prioritization heuristic.