Skip to content
STIMSMITH

Omega Library

Tool
First seen 7/30/2026
Last seen 7/30/2026
Evidence 3 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% 2e
The paper uses Omega library for Presburger arithmetic formulas.
HMC (Hybrid Model Checker) ← uses 100% 2e
HMC uses Omega library for Presburger arithmetic operations.
Presburger Arithmetic-based Symbolic Traversal ← uses 100% 1e
The state traversal uses Omega library for Presburger arithmetic.
Presburger Arithmetic implements → 100% 1e
Omega library implements Presburger arithmetic operations.