Skip to content
STIMSMITH

Presburger Arithmetic-based Symbolic Traversal

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking ← uses 100% 1e
The paper uses Presburger arithmetic based symbolic traversal as its state-based component.
HMC (Hybrid Model Checker) ← uses 100% 1e
HMC uses Presburger arithmetic-based symbolic traversal as its state-based component.
Disjunctive Normal Form (DNF) uses → 100% 1e
The state traversal uses DNF representation for state sets in Presburger arithmetic.
Omega Library uses → 100% 1e
The state traversal uses Omega library for Presburger arithmetic.