-
2
-
-
0028413136
-
Symbolic model checking for sequential circuit verification
-
J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on CAD, 13:401-424, 1994.
-
(1994)
IEEE Transactions on CAD
, vol.13
, pp. 401-424
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
McMillan, K.L.4
Dill, D.L.5
-
3
-
-
84947915769
-
Global rebuilding of OBDDs-avoiding memory requirement maxima
-
Springer
-
J. Bern, Ch. Meinel, and A. Slobodová Global rebuilding of OBDDs-avoiding memory requirement maxima. In Proc. Computer-Aided Verification, Lecture Notes in Computer Science 939, 4-15. Springer, 1995.
-
(1995)
Proc. Computer-Aided Verification, Lecture Notes in Computer Science
, vol.939
, pp. 4-15
-
-
Bern, J.1
Meinel, C.H.2
Slobodová, A.3
-
4
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35:677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
0026913667
-
Symbolic Boolean manipulation with ordered binary decision diagrams
-
R. E. Bryant. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
6
-
-
0030246260
-
Improving the variable ordering of OBDDs is NP-complete
-
B. Bollig and I. Wegener. Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers, 45:993-1002, 1996.
-
(1996)
IEEE Transactions on Computers
, vol.45
, pp. 993-1002
-
-
Bollig, B.1
Wegener, I.2
-
7
-
-
84856140605
-
Verification of synchronous sequential machines using symbolic execution
-
Springer
-
O. Coudert, C. Berthet, and J. C. Madre. Verification of synchronous sequential machines using symbolic execution. In Proc. Workshop on Automatic Verification Methods]or Finite State Machines, Lecture Notes in Computer Science 407, 365-373. Springer, 1989.
-
(1989)
Proc. Workshop on Automatic Verification Methods]Or Finite State Machines, Lecture Notes in Computer Science
, vol.407
, pp. 365-373
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
8
-
-
0343710419
-
The implicit set paradigm: A new approach to finite state system verification
-
O. Coudert and J. C. Madre. The implicit set paradigm: A new approach to finite state system verification. Formal Methods in System Design, 6(2):133-145, 1995.
-
(1995)
Formal Methods in System Design
, vol.6
, Issue.2
, pp. 133-145
-
-
Coudert, O.1
Madre, J.C.2
-
12
-
-
21444434019
-
Local encoding transformations for optimizing OBDD-representations of finite state machines
-
Springer
-
Ch. Meinel and T. Theobald. Local encoding transformations for optimizing OBDD-representations of finite state machines. In Proc. International Conference on Formal Methods in CAD (Palo Alto, CA), Lecture Notes in Computer Science 1166, 404-418. Springer, 1996.
-
(1996)
Proc. International Conference on Formal Methods in CAD (Palo Alto, CA), Lecture Notes in Computer Science
, vol.1166
, pp. 404-418
-
-
Meinel, C.H.1
Theobald, T.2
-
13
-
-
0027841555
-
Dynamic variable ordering for ordered binary decision diagrams
-
R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Proe. IEEE International Conference on CAD, 42-47, 1993.
-
(1993)
Proe. IEEE International Conference on CAD
, pp. 42-47
-
-
Rudell, R.1
-
14
-
-
84949799187
-
The complexity of the optimal variable ordering problems of shared binary decision diagrams
-
Springer
-
S. Tani, K. Hamaguchi, and S. Yajima. The complexity of the optimal variable ordering problems of shared binary decision diagrams. In Proc. International Symposium on Algorithms and Computation '93, Lecture Notes in Computer Science 762,389-398. Springer, 1993.
-
(1993)
In Proc. International Symposium on Algorithms and Computation '93, Lecture Notes in Computer Science
, vol.762
, pp. 389-398
-
-
Tani, S.1
Hamaguchi, K.2
Yajima, S.3
-
15
-
-
0000906394
-
Efficient data structures for Boolean functions
-
I. Wegener. Efficient data structures for Boolean functions. Discrete Mathematics, 136:347-372, 1994.
-
(1994)
Discrete Mathematics
, vol.136
, pp. 347-372
-
-
Wegener, I.1
|