Searching for authors named "Gianpiero Cabodi" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
PdTRAV Package Politecnico di Torino Reachability Analysis for Verification (Release 1.2)
- …PdTRAV Package Politecnico di Torino Reachability Analysis for Verication (Release 1.2) Gianpiero…
- Cited by 1 (0 self) – Add To MetaCart
-
Computing Timed Transition Relations for sequential cycle-based simulation
- …Computing Timed Transition Relations for sequential cycle{based simulation Gianpiero Cabodi y…
- Add To MetaCart
-
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
- … Cabodi (Politecnico di Torino, Dip. di Automatica e Informatica, Turin, Italy gianpiero.cabodi…
- Cited by 20 (1 self) – Add To MetaCart
-
Biasing Symbolic Search by means of Dynamic Activity Profiles
- …Biasing Symbolic Search by means of Dynamic Activity Profiles Gianpiero Cabodi Paolo Camurati…
- Cited by 2 (0 self) – Add To MetaCart
-
Verification and Synthesis of Counters based on Symbolic Techniques
- …-89791-849-5/97/0003/$3.50 Verification and Synthesis of Counters based on Symbolic Techniques Gianpiero Cabodi y Paolo Camurati…
- Cited by 2 (0 self) – Add To MetaCart
-
Dynamic Scheduling and Clustering in Symbolic Image Computation
- …Dynamic Scheduling and Clustering in Symbolic Image Computation Gianpiero Cabodi Paolo Camurati…
- Cited by 1 (0 self) – Add To MetaCart
-
Decomposed Symbolic Forward Traversals of Large Finite State Machines
- … Traversals of Large Finite State Machines Stefano Quer y Gianpiero Cabodi y Paolo Camurati z y…
- Cited by 1 (0 self) – Add To MetaCart
-
Improving Symbolic Traversals by means of Activity Profiles
- …Improving Symbolic Traversals by means of Activity Proles Gianpiero Cabodi Paolo Camurati Stefano…
- Cited by 10 (3 self) – Add To MetaCart
-
Disjunctive Partitioning and Partial Iterative Squaring: an effective approach for symbolic traversal of large circuits
- … traversal of large circuits Gianpiero Cabodi y Paolo Camurati # Luciano Lavagno z Stefano Quer y y…
- Cited by 28 (2 self) – Add To MetaCart
-
Circuit based quantification: Back to state set manipulation with unbounded model checking
- … Gianpiero Cabodi Marco Crivellari Sergio Nocco Stefano QuerÝ Politecnico di Torino Dip. di Automatica e…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
