-
2
-
-
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 Proceedings of the Design Automation Conference (DAC'99), pages 317-320, 1999.
-
(1999)
Proceedings of the Design Automation Conference (DAC'99)
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Fujita, M.4
Zhu, Y.5
-
3
-
-
4444226915
-
Using SAT based image computation for reachability analysis
-
Carnegie Mellon University, School of Computer Science
-
P. Chauhan, E. M. Clarke, and D. Kroening. Using SAT based image computation for reachability analysis. Technical Report CMU-CS-03-151, Carnegie Mellon University, School of Computer Science, 2003.
-
(2003)
Technical Report
, vol.CMU-CS-03-151
-
-
Chauhan, P.1
Clarke, E.M.2
Kroening, D.3
-
4
-
-
84948155079
-
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis
-
November 2002
-
P. Chauhan, E. M. Clarke, S. Sapra, J. Kukula, H. Veith, and D. Wang. Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. In Proceedings of FMCAD'02, volume 2517 of LNCS, pages 33-50, November 2002.
-
Proceedings of FMCAD'02, Volume 2517 of LNCS
, vol.2517
-
-
Chauhan, P.1
Clarke, E.M.2
Sapra, S.3
Kukula, J.4
Veith, H.5
Wang, D.6
-
6
-
-
0025556059
-
A unified framework for the formal verification of sequential circuits
-
IEEE Computer Society Press, November
-
O. Coudert and J. C. Madre. A unified framework for the formal verification of sequential circuits. In Proc. Intl. Conf. on Computer-Aided Design (ICCAD), pages 78-82. IEEE Computer Society Press, November 1990.
-
(1990)
Proc. Intl. Conf. on Computer-aided Design (ICCAD)
-
-
Coudert, O.1
Madre, J.C.2
-
8
-
-
35248888895
-
Efficient computation of recurrence diameters
-
L. Zuck, P. Attie, A. Cortesi, and S. Mukhopadhyay, editors, Springer Verlag, January
-
D. Kroening and O. Strichman. Efficient computation of recurrence diameters. In L. Zuck, P. Attie, A. Cortesi, and S. Mukhopadhyay, editors, 4th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 2575 of Lecture Notes in Computer Science, pages 298-309. Springer Verlag, January 2003.
-
(2003)
4th International Conference on Verification, Model Checking, and Abstract Interpretation, Volume 2575 of Lecture Notes in Computer Science
, vol.2575
, pp. 298-309
-
-
Kroening, D.1
Strichman, O.2
-
9
-
-
33745162025
-
Interpolation and SAT-based model checking
-
F. Somenzi and W. Hunt, editors, Springer, July
-
K. L. McMillan. Interpolation and SAT-based model checking. In F. Somenzi and W. Hunt, editors, Conference on Computer Aided Verification (CAV 2003), volume 2725 of Lecture Notes in Computer Science, pages 1-13. Springer, July 2003.
-
(2003)
Conference on Computer Aided Verification (CAV 2003), Volume 2725 of Lecture Notes in Computer Science
, vol.2725
, pp. 1-13
-
-
McMillan, K.L.1
-
10
-
-
35248845558
-
Automatic abstraction without counterexamples
-
H. Garavel and J. Hatcliff, editors, Springer
-
K. L. McMillan and N. Amla. Automatic abstraction without counterexamples. In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference (TACAS 2003), volume 2619 of Lecture Notes in Computer Science, pages 2-17. Springer, 2003.
-
(2003)
Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference (TACAS 2003), Volume 2619 of Lecture Notes in Computer Science
, vol.2619
, pp. 2-17
-
-
McMillan, K.L.1
Amla, N.2
-
11
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proceedings of the Design Automation Conference (DAC'01), pages 530-535, 2001.
-
(2001)
Proceedings of the Design Automation Conference (DAC'01)
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
12
-
-
84948166044
-
Generalized symbolic trajectory evaluation - Abstraction in action
-
J. Yang and C.-J. H. Seger. Generalized symbolic trajectory evaluation - abstraction in action. In Proceedings of FMCAD'02, volume 2517 of LNCS, pages 70-86, 2002.
-
(2002)
Proceedings of FMCAD'02, Volume 2517 of LNCS
, vol.2517
, pp. 70-86
-
-
Yang, J.1
Seger, C.-J.H.2
|