-
1
-
-
0003962322
-
-
MIT Press, MA: Cambridge
-
E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, MIT Press, MA: Cambridge, 1999.
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
3
-
-
84944319371
-
Symbolic model checking without BDDs
-
Proc. Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems
-
A. Biere, A. Cimatti, E. M. Clarke, Y. Zhu, "Symbolic model checking without BDDs," in Proc. Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, vol. 1579 of Lecture Notes in Comput. Sci., 1999, pp. 193-207.
-
(1999)
Lecture Notes in Comput. Sci.
, vol.1579
, pp. 193-207
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Zhu, Y.4
-
4
-
-
84881072062
-
A computing procedure for quantification theory
-
M. Davis and H. Putnam, "A computing procedure for quantification theory," Journal of the ACM, vol. 7, pp. 201-205, 1960.
-
(1960)
Journal of the ACM
, vol.7
, pp. 201-205
-
-
Davis, M.1
Putnam, H.2
-
5
-
-
0034852165
-
Chaff: Engineering and efficient SAT solver
-
M. W. Moskevicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering and efficient SAT solver," in Proc. ACM/IEEE Design Automation Conf., 2001, pp. 530-535.
-
(2001)
Proc. ACM/IEEE Design Automation Conf.
, pp. 530-535
-
-
Moskevicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
6
-
-
70350777567
-
Applying SAT methods in unbounded symbolic model checking
-
Proc. Int. Conf. Computer Aided Verification
-
K. L. McMillan, "Applying SAT methods in unbounded symbolic model checking," in Proc. Int. Conf. Computer Aided Verification, vol. 2404 of Lecture Notes in Comput. Sci., 2002, pp. 250-264.
-
(2002)
Lecture Notes in Comput. Sci.
, vol.2404
, pp. 250-264
-
-
McMillan, K.L.1
-
7
-
-
84947291356
-
SAT-based image computation with application in reachability analysis
-
Proc. Int. Conf. Formal Methods in Computer Aided Design of Electron. Circuits
-
A. Gupta, Z. Yang, P. Ashar, and A. Gupta, "SAT-based image computation with application in reachability analysis," in Proc. Int. Conf. Formal Methods in Computer Aided Design of Electron. Circuits, vol. 1954 of Lecture Notes in Comput. Sci., 2000, pp. 354-371.
-
(2000)
Lecture Notes in Comput. Sci.
, vol.1954
, pp. 354-371
-
-
Gupta, A.1
Yang, Z.2
Ashar, P.3
Gupta, A.4
-
8
-
-
84944386248
-
Combining decision diagrams and SAT procedures for efficient symbolic model checking
-
Proc. Int. Conf. Computer Aided Verification
-
P. F. Williams, A. Biere, E. M. Clarke, and A. Gupta, "Combining decision diagrams and SAT procedures for efficient symbolic model checking," in Proc. Int. Conf. Computer Aided Verification, vol. 1855 of Lecture Notes in Comput. Sci., 2000, pp. 124-138.
-
(2000)
Lecture Notes in Comput. Sci.
, vol.1855
, pp. 124-138
-
-
Williams, P.F.1
Biere, A.2
Clarke, E.M.3
Gupta, A.4
-
9
-
-
84863944806
-
Symbolic reachability analysis based on SAT-solvers
-
Proc. Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems
-
P. A. Abdulla, P. Bjesse, and N. Eén, "Symbolic reachability analysis based on SAT-solvers," in Proc. Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785 of Lecture Notes in Comput. Sci., 2000, pp. 411-425.
-
(2000)
Lecture Notes in Comput. Sci.
, vol.1785
, pp. 411-425
-
-
Abdulla, P.A.1
Bjesse, P.2
Eén, N.3
-
10
-
-
0043151413
-
-
[Online]
-
Espresso.[Online]. Available: http://www-cad.eecs.Berkeley.edu/Software/software.html
-
Espresso
-
-
-
11
-
-
0041648564
-
-
[Online]
-
The VIS Group. VIS 1.4. [Online]. Available: http://vlsi.colorado.edu/̃vis/.
-
VIS 1.4
-
-
-
12
-
-
0041648563
-
-
[Online]
-
B. Yang. SMV 2.4b. [Online]. Available: http://www-2.cs.cmu.edu/̃bwolen.
-
SMV 2.4b
-
-
Yang, B.1
|