-
1
-
-
0032630134
-
Symbolic Model Checking using SAT Procedures instead of BDDs
-
A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, and Y.Zhu, "Symbolic Model Checking using SAT Procedures instead of BDDs," in 36th ACM/IEEE Design Automation Conference (DAC), June 1999, pp. 317-320.
-
36th ACM/IEEE Design Automation Conference (DAC), June 1999
, pp. 317-320
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Fujita, M.4
Zhu, Y.5
-
2
-
-
33847702424
-
-
Academic press, ch. Bounded Model Checking
-
A. Biere, A. Cimatti, E. Clarke, O. Strichman, and Y. Zhu, In Advances in Computers. Academic press, 2003, vol. 58, ch. Bounded Model Checking.
-
(2003)
Advances in Computers
, vol.58
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.3
Strichman, O.4
Zhu, Y.5
-
3
-
-
84957376851
-
VIS: A System for Verification and Synthesis
-
Conference on Computer Aided Verification CAV, ser. Springer Verlag, July/August
-
R. K. Brayton, G. D. Hachtel, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, and T. Villa, "VIS: A System for Verification and Synthesis," in Conference on Computer Aided Verification CAV, ser. LNCS, vol. 1102. Springer Verlag, July/August 1996, pp. 428-432.
-
(1996)
LNCS
, vol.1102
, pp. 428-432
-
-
Brayton, R.K.1
Hachtel, G.D.2
Sangiovanni-Vincentelli, A.3
Somenzi, F.4
Aziz, A.5
Cheng, S.-T.6
Edwards, S.7
Khatri, S.8
Kukimoto, Y.9
Pardo, A.10
Qadeer, S.11
Ranjan, R.K.12
Sarwary, S.13
Shiple, T.R.14
Swamy, G.15
Villa, T.16
-
4
-
-
0022769976
-
Graph-Based Algorithms for Boolean Function Manipulation
-
August
-
R.E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Trans. on Computers, vol. C-35, no. 8, pp. 677-691, August 1986.
-
(1986)
IEEE Trans. on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
84958760528
-
Benefits of Bounded Model Checking at an Industrial Setting
-
July
-
F. Copty, L. Fix, R. Fraer, E. Giunchiglia, A. Tacchella, and M.Y. Vardi, "Benefits of Bounded Model Checking at an Industrial Setting," in Computer-Aided Verification CAV, July 2001, pp. 436-453.
-
(2001)
Computer-Aided Verification CAV
, pp. 436-453
-
-
Copty, F.1
Fix, L.2
Fraer, R.3
Giunchiglia, E.4
Tacchella, A.5
Vardi, M.Y.6
-
6
-
-
85016696270
-
Another Look at LTL Model Checking
-
Temporal Logic, ser. D. Gabbay and H.J. Ohlbach, Eds. Springer-Verlag, July
-
E.M. Clarke, O. Grumberg, and K. Hamaguchi, "Another Look at LTL Model Checking," in Temporal Logic, ser. Lecture Notes in Artificial Intelligence, D. Gabbay and H.J. Ohlbach, Eds. Springer-Verlag, July 1994.
-
(1994)
Lecture Notes in Artificial Intelligence
-
-
Clarke, E.M.1
Grumberg, O.2
Hamaguchi, K.3
-
8
-
-
0347409201
-
SATORI - A Fast Sequential Sat Solver for Circuits
-
To Appear in November
-
M.K. Iyer, G. Parthasarathy, and K.-T. Cheng, "SATORI - A Fast Sequential Sat Solver for Circuits," in To Appear in ICCAD, November 2003, http:cadlab.ece.ucsb.edu/madiyer/iccad03.pdf.
-
(2003)
ICCAD
-
-
Iyer, M.K.1
Parthasarathy, G.2
Cheng, K.-T.3
-
9
-
-
35248888895
-
Efficient Computation of Recurrence Diameters
-
4th International Conference on VMCAI, ser. Z. et al., Ed.
-
D. Kroening and O.Strichman, "Efficient Computation of Recurrence Diameters," in 4th International Conference on VMCAI, ser. Lecture Notes in Computer Science, Z. et al., Ed., vol. 2575, 2003, pp. 298-309.
-
(2003)
Lecture Notes in Computer Science
, vol.2575
, pp. 298-309
-
-
Kroening, D.1
Strichman, O.2
-
11
-
-
0003799504
-
-
Springer-Verlag, New York, Berlin, Heidelberg
-
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, Berlin, Heidelberg, 1992.
-
(1992)
The Temporal Logic of Reactive and Concurrent Systems
-
-
Manna, Z.1
Pnueli, A.2
-
12
-
-
0003581145
-
-
Ph.D. dissertation, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May cMU-CS-92-131
-
K.L. McMillan, "Symbolic Model Checking: An Approach to the State Explosion Problem," Ph.D. dissertation, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 1992, cMU-CS-92-131.
-
(1992)
Symbolic Model Checking: An Approach to the State Explosion Problem
-
-
McMillan, K.L.1
-
13
-
-
84944343679
-
Engineering an Efficient SAT Solver
-
M. Moskiewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Engineering an Efficient SAT Solver" in 38th ACM/IEEE DAC, 2001.
-
38th ACM/IEEE DAC, 2001
-
-
Moskiewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
14
-
-
0005704783
-
Efficient Büechi Automata from LTL Formulae
-
Conference on Computer-Aided Verification CAV, ser. June
-
F. Somenzi and R. Bloem, "Efficient Büechi Automata from LTL Formulae," in Conference on Computer-Aided Verification CAV, ser. Lecture Notes in Computer Science, vol. 1633, June 2000, pp. 247-263.
-
(2000)
Lecture Notes in Computer Science
, vol.1633
, pp. 247-263
-
-
Somenzi, F.1
Bloem, R.2
|