-
3
-
-
0022769976
-
Graph based algorithms for boolean function manipulation
-
Randal E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
-
-
Bryant, R.E.1
-
4
-
-
0026913667
-
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams
-
September
-
Randal E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24:298-318, September 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, pp. 298-318
-
-
Bryant, R.E.1
-
5
-
-
0003347456
-
Symbolic Model Checking with Partitioned Transition Relations
-
Edinburg, Scotland, August
-
Jerry R. Burch, Edmund M. Clarke, and David E. Long. Symbolic Model Checking with Partitioned Transition Relations. In International Conference on Very Large Scale Integration, Edinburg, Scotland, August 1991, IF1P.
-
(1991)
International Conference on Very Large Scale Integration
, pp. IF1
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
6
-
-
0027734857
-
Verification of the Futurebus+ Cache Coherence Protocol
-
Edmund M. Clarke, Orna Gmmberg, Hiromi Hiraishi, Somesh Jha, David L. Long, Kenneth L. McMillan, and Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol. In Proceedings of the 11th International Conference on Computer Hardware Description Languages, pages 15-30, 1993.
-
(1993)
Proceedings of the 11th International Conference on Computer Hardware Description Languages
, pp. 15-30
-
-
Clarke, E.M.1
Gmmberg, O.2
Hiraishi, H.3
Jha, S.4
Long, D.L.5
McMillan, K.L.6
Ness, L.A.7
-
7
-
-
0011589477
-
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
-
R. Kurshan and E. M. Clarke, editors, American Mathematical Society, Providence, RI
-
Olivier Coudert, Jean C. Madre, and Christian Berthet. Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. In R. Kurshan and E. M. Clarke, editors, Workshop on Computer Aided Verification, D IMA C S, pages 75-84. American Mathematical Society, Providence, RI, 1990.
-
(1990)
Workshop on Computer Aided Verification, D IMA C S
, pp. 75-84
-
-
Coudert, O.1
Madre, J.C.2
Berthet, C.3
-
9
-
-
0003928137
-
-
Carnegie Mellon University, Pittsburgh, PA
-
K. L. McMillan. The SMV System DRAFT. Carnegie Mellon University, Pittsburgh, PA, 1992.
-
(1992)
The SMV System DRAFT
-
-
McMillan, K.L.1
-
11
-
-
85028778811
-
-
PhD thesis, Carnegie Mellon University, May
-
Kenneth L. McMillan. Symbolc Model Checking. PhD thesis, Carnegie Mellon University, May 1992.
-
(1992)
Symbolc Model Checking
-
-
McMillan, K.L.1
-
12
-
-
0025545981
-
Implicit State Enumeration of Finite State Machines usin BDD’s
-
H. J.Touati, H. Savoj, B. Lin, R. K. Brayton, and A. Sangiovarmi-Vincentelli. Implicit State Enumeration of Finite State Machines usin BDD’s. In IEEE International Conference on CAD, pages 130-133, 1990.
-
(1990)
IEEE International Conference on CAD
, pp. 130-133
-
-
Touati, H.J.1
Savoj, H.2
Lin, B.3
Brayton, R.K.4
Sangiovarmi-Vincentelli, A.5
|