Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering

Authors:
Christoph Meinel;Christian Stangier
Affiliations:
Universität Trier, Trier, Germany;Universität Trier, Trier, Germany
Venue:
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Year:
1999

Citing 2
Cited 0

Algorithms and Data Structures in VLSI Design

Algorithms and Data Structures in VLSI Design
A Performance Study of BDD-Based Model Checking

FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design

Quantified Score

Hi-index	0.00

Visualization

Abstract