Higher-Level Specification and Verification with BDDs (1992)
Cached
Download Links
- [sprout.stanford.edu]
- [sprout.stanford.edu]
- [sprout.stanford.edu]
- [www.cs.ubc.ca]
- DBLP
Other Repositories/Bibliography
by
Alan J. Hu
,
David L. Dill
,
Andreas J. Drexler
,
C. Han Yang
| Venue: | IN COMPUTER-AIDED VERIFICATION: FOURTH INTERNATIONAL WORKSHOP |
| Citations: | 20 - 4 self |
BibTeX
@INPROCEEDINGS{Hu92higher-levelspecification,
author = {Alan J. Hu and David L. Dill and Andreas J. Drexler and C. Han Yang},
title = {Higher-Level Specification and Verification with BDDs},
booktitle = {IN COMPUTER-AIDED VERIFICATION: FOURTH INTERNATIONAL WORKSHOP},
year = {1992},
pages = {82--95},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Currently, many are investigating promising verification methods based on Boolean decision diagrams (BDDs). Using BDDs, however, requires modeling the system under verification in terms of Boolean formulas. This modeling
