Skip to content
STIMSMITH

CUDD 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

3 connections
Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking ← uses 100% 2e
The paper uses CUDD library for BDD operations.
HMC (Hybrid Model Checker) ← uses 100% 2e
HMC uses CUDD library for BDD operations.
Binary Decision Diagrams (BDDs) implements → 100% 1e
CUDD library implements BDD operations.