-
1
-
-
0003347456
-
-
In A. Halaas and P.B. Denyer, editors, Edinburgh, Scotland
-
Jerry R. Butch, Edmund M. Clarke, and David E. Long. Symbolic model checking with partitioned transition relations. In A. Halaas and P.B. Denyer, editors, Proceedings of the IFIP International Conference on Very Large Scale Integration, Edinburgh, Scotland, August 1991.
-
(1991)
Symbolic Model Checking with Partitioned Transition Relations
-
-
Butch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
2
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
-
(1986)
IEEE Transactions on Computers
, Issue.8
-
-
Bryant, R.E.1
-
3
-
-
0000531015
-
Verification of synchronous sequential machines based on symbolic execution
-
In Joseph Sifakis, editor, Grenoble, France, volume 407 of Lecture Notes in Computer Science. Springer-Verlag, June
-
Olivier Coudert, Christian Berthet, and Jean Christophe Madre. Verification of synchronous sequential machines based on symbolic execution. In Joseph Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, volume 407 of Lecture Notes in Computer Science. Springer-Verlag, June 1989.
-
(1989)
Automatic Verification Methods for Finite State Systems, International Workshop
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
4
-
-
0028518422
-
Efficient boolean manipulation with obdd's can be extended to fbdd's
-
J. Gergov and C. Meinel. Efficient boolean manipulation with obdd's can be extended to fbdd's. IEEE Transactions on Computers, 43(10):1197-209, Oct. 1994.
-
(1994)
IEEE Transactions on Computers
, vol.43
, Issue.10
, pp. 1197-1209
-
-
Gergov, J.1
Meinel, C.2
-
5
-
-
84992651275
-
Efficient verification with bdds using implicitly conjoined invariants
-
In C. Courcoubetis, editor, Berlin, Germany, Springer-Verlag
-
A. J. Hu and D. L. Dill. Efficient verification with bdds using implicitly conjoined invariants. In C. Courcoubetis, editor, Computer Aided Verification. 5th International Conference, CAV ‘93, pages 3-14, Berlin, Germany, 1993. Springer-Verlag.
-
(1993)
Computer Aided Verification. 5Th International Conference, CAV ‘93
, pp. 3-14
-
-
Hu, A.J.1
Dill, D.L.2
-
6
-
-
0002509146
-
Probabilistic verification of boolean functions
-
J. Jain, J. A. Abraham, J. Bitner, and D. S. Fussell. Probabilistic verification of boolean functions. Formal Methods in System Design, 1(1):61-115, July 1992.
-
(1992)
Formal Methods in System Design
, vol.1
, Issue.1
, pp. 61-115
-
-
Jain, J.1
Abraham, J.A.2
Bitner, J.3
Fussell, D.S.4
-
7
-
-
0025545981
-
Implicit state enumeration of finite state machines using BDD’s
-
H.J. Touati, H. Savoj, B. Lin, R.K. Brayton, and A. Sangiovanni-Vincentelli. Implicit state enumeration of finite state machines using BDD’s. In ICCAD, pages 130-133, 1990
-
(1990)
ICCAD
, pp. 130-133
-
-
Touati, H.J.1
Savoj, H.2
Lin, B.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.5
|