-
1
-
-
84947247346
-
Scalable distributed on-the-fly symbolic model checking
-
S. Ben-David, T. Heyman, O. Grumberg, and A. Schuster. Scalable distributed on-the-fly symbolic model checking. In Proceedings of Formal Methods in Computer-Aided Design, pages 390-404, 2000.
-
(2000)
Proceedings of Formal Methods in Computer-Aided Design
, pp. 390-404
-
-
Ben-David, S.1
Heyman, T.2
Grumberg, O.3
Schuster, A.4
-
4
-
-
0035249486
-
Optimizing symbolic model checking for statecharts
-
February
-
W. Chan, R. J. Anderson, P. Beame, D. H. Jones, D. Notkin, and W. E. Warner. Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering, 27(2):170-190, February 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.2
, pp. 170-190
-
-
Chan, W.1
Anderson, R.J.2
Beame, P.3
Jones, D.H.4
Notkin, D.5
Warner, W.E.6
-
6
-
-
84948168602
-
-
C. Demartini, R. Iosif, and R. Sisto. dspin : A dynamic extension of SPIN. In Proc. of the 6th International SPIN Workshop, 1680, pages 261-276. Springer-Verlag, Sept. 1999.
-
C. Demartini, R. Iosif, and R. Sisto. dspin : A dynamic extension of SPIN. In Proc. of the 6th International SPIN Workshop, volume 1680, pages 261-276. Springer-Verlag, Sept. 1999.
-
-
-
-
7
-
-
1542265569
-
Model-checking middleware-based event-driven real-time embedded software
-
November
-
W. Deng, M. B. Dwyer, J. Hatcliff, G. Jung, Robby, and G. Singh. Model-checking middleware-based event-driven real-time embedded software. In Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002), November 2002.
-
(2002)
Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002)
-
-
Deng, W.1
Dwyer, M.B.2
Hatcliff, J.3
Jung, G.4
Robby5
Singh, G.6
-
8
-
-
0036038312
-
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
-
IEEE Press
-
X. Deng, M. B. Dwyer, J. Hatcliff, and M. Mizuno. Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. In Proceedings of the 24th International Conference on Software Engineering. IEEE Press, 2002.
-
(2002)
Proceedings of the 24th International Conference on Software Engineering
-
-
Deng, X.1
Dwyer, M.B.2
Hatcliff, J.3
Mizuno, M.4
-
11
-
-
84894629087
-
Parallel state space construction for model-checking
-
Proceedings of Eighth International SPIN Workshop, of, Springer-Verlag
-
H. Garavel, R. Mateescu, and I. Smarandache. Parallel state space construction for model-checking. In Proceedings of Eighth International SPIN Workshop, volume 2057 of Lecture Notes in Computer Science, pages 217+. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2057
-
-
Garavel, H.1
Mateescu, R.2
Smarandache, I.3
-
13
-
-
0037587555
-
Cadena: An integrated development, analysis, and verification environment for component-based systems
-
IEEE Press, May
-
J. Hatcliff, W. Deng, M. Dwyer, G. Jung, and V. P. Ranganath. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering. IEEE Press, May 2003.
-
(2003)
Proceedings of the 25th International Conference on Software Engineering
-
-
Hatcliff, J.1
Deng, W.2
Dwyer, M.3
Jung, G.4
Ranganath, V.P.5
-
14
-
-
84944382125
-
Achieving scalability in parallel reachability analysis of very large circuits
-
O. Grumberg, editor, Springer
-
T. Heyman, D. Geist, O. Grumberg, and A. Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In O. Grumberg, editor, Computer-Aided Verification, 12th International Conference, volume 1855, pages 20-35. Springer, 2000.
-
(2000)
Computer-Aided Verification, 12th International Conference
, vol.1855
, pp. 20-35
-
-
Heyman, T.1
Geist, D.2
Grumberg, O.3
Schuster, A.4
-
16
-
-
84893560898
-
Symmetry reduction criteria for software model checking
-
Proceedings of Ninth International SPIN Workshop, of, Springer-Verlag, Apr
-
R. Iosif. Symmetry reduction criteria for software model checking. In Proceedings of Ninth International SPIN Workshop, volume 2318 of Lecture Notes in Computer Science, pages 22-41. Springer-Verlag, Apr. 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2318
, pp. 22-41
-
-
Iosif, R.1
-
17
-
-
35048897462
-
Explicit state model checking with hopper
-
Proceedings of Eleventh International SPIN Workshop, of, Springer-Verlag, April
-
M. Jones and E. Mercer. Explicit state model checking with hopper. In Proceedings of Eleventh International SPIN Workshop, volume 2989 of Lecture Notes in Computer Science, pages 146-150. Springer-Verlag, April 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2989
, pp. 146-150
-
-
Jones, M.1
Mercer, E.2
-
18
-
-
84894631380
-
Addressing dynamic issues of program model checking
-
Proceedings of Eighth International SPIN Workshop, of, Springer-Verlag
-
F. Lerda and W. Visser. Addressing dynamic issues of program model checking. In Proceedings of Eighth International SPIN Workshop, volume 2057 of Lecture Notes in Computer Science, pages 80-102. Springer-Verlag, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2057
, pp. 80-102
-
-
Lerda, F.1
Visser, W.2
|