-
1
-
-
84960853881
-
Model checking programs
-
G. Brat, K. Havelund, S. Park, and W. Visser, "Model checking programs," in IEEE Int'l. Conference on Automated Software Engineering (ASE), 2000, pp. 3-12.
-
(2000)
IEEE Int'l. Conference on Automated Software Engineering (ASE)
, pp. 3-12
-
-
Brat, G.1
Havelund, K.2
Park, S.3
Visser, W.4
-
3
-
-
84945912413
-
Reduction in TLA
-
Proc. 9th Int'l. Conference on Concurrency Theory (CONCUR), Springer-Verlag
-
E. Cohen and L. Lamport, "Reduction in TLA," in Proc. 9th Int'l. Conference on Concurrency Theory (CONCUR), vol. 1466 of Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 317-331.
-
(1998)
Lecture Notes in Computer Science
, vol.1466
, pp. 317-331
-
-
Cohen, E.1
Lamport, L.2
-
4
-
-
84976490328
-
Separation and reduction
-
Proc. 5th Int'l. Conference on Mathematics of Program Construction, Springer-Verlag
-
E. Cohen, "Separation and reduction," in Proc. 5th Int'l. Conference on Mathematics of Program Construction, vol. 1837 of Lecture Notes in Computer Science, Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1837
-
-
Cohen, E.1
-
6
-
-
84957099472
-
Thread-modular verification for shared-memory programs
-
C. Flanagan, S.N. Freund, and S. Qadeer, "Thread-modular verification for shared-memory programs," in Proc. European Symposium on Programming (ESOP), 2002, pp. 262-277.
-
(2002)
Proc. European Symposium on Programming (ESOP)
, pp. 262-277
-
-
Flanagan, C.1
Freund, S.N.2
Qadeer, S.3
-
7
-
-
84937552136
-
A modular checker for multithreaded programs
-
Proc. 14th Int'l. Conference on Computer-Aided Verification (CAV), Springer-Verlag
-
C. Flanagan, S. Qadeer, and S. Seshia, "A modular checker for multithreaded programs," in Proc. 14th Int'l. Conference on Computer-Aided Verification (CAV), vol. 2404 of Lecture Notes in Computer Science, Springer-Verlag, 2002, pp. 180-194.
-
(2002)
Lecture Notes in Computer Science
, vol.2404
, pp. 180-194
-
-
Flanagan, C.1
Qadeer, S.2
Seshia, S.3
-
9
-
-
0003758313
-
-
Partial-Order Methods for the Verification of Concurrent Systems. Springer-Verlag
-
P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems, vol. 1032 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
-
(1996)
Lecture Notes in Computer Science
, vol.1032
-
-
Godefroid, P.1
-
12
-
-
18944390941
-
The Spin model checker
-
G.J. Holzmann, "The Spin model checker,"IEEE Trans. Softw. Engi., Vol. 23, No. 5, pp. 279-295, 1997.
-
(1997)
IEEE Trans. Softw. Engi.
, vol.23
, Issue.5
, pp. 279-295
-
-
Holzmann, G.J.1
-
14
-
-
0000042790
-
A completeness theorem for Kleene algebras and the algebra of regular events
-
D. Kozen, "A completeness theorem for Kleene algebras and the algebra of regular events," Inform. Comput., Vol. 110, No. 2, pp. 366-390, 1994.
-
(1994)
Inform. Comput.
, vol.110
, Issue.2
, pp. 366-390
-
-
Kozen, D.1
-
15
-
-
0016592810
-
Reduction: A method of proving properties of parallel programs
-
R.J. Lipton, "Reduction: A method of proving properties of parallel programs," Communications of the ACM, Vol. 18, No. 12, pp. 717-721, 1975.
-
(1975)
Communications of the ACM
, vol.18
, Issue.12
, pp. 717-721
-
-
Lipton, R.J.1
-
16
-
-
0031272525
-
Eraser: A dynamic data race detector for multi-threaded programs
-
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T.E. Anderson, "Eraser: A dynamic data race detector for multi-threaded programs," ACM Trans. on Comp. Syst., Vol. 15, No. 4, pp. 391-411, 1997.
-
(1997)
ACM Trans. on Comp. Syst.
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.E.5
-
17
-
-
35248848307
-
Optimistic synchronization-based state-space reduction
-
vol. 2619 of Lecture Notes in Computer Science, Springer-Verlag
-
S.D. Stoller and E. Cohen, "Optimistic synchronization-based state-space reduction," in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 2619 of Lecture Notes in Computer Science, Springer-Verlag, 2003, pp. 489-504.
-
(2003)
Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
, pp. 489-504
-
-
Stoller, S.D.1
Cohen, E.2
-
18
-
-
84896693606
-
Model-checking multi-threaded distributed Java programs
-
S.D. Stoller, "Model-checking multi-threaded distributed Java programs," Int. J. on Softw. Tools for Technol. Trans., Vol. 4, No. 1, pp. 71-91, 2002.
-
(2002)
Int. J. on Softw. Tools for Technol. Trans.
, vol.4
, Issue.1
, pp. 71-91
-
-
Stoller, S.D.1
-
19
-
-
0037726363
-
Stubborn set methods for process algebras
-
D. Peled, V.R. Pratt, and G.J. Holzmann (Eds.), DIMACS Series, American Mathematical Society
-
A. Valmari, "Stubborn set methods for process algebras," in D. Peled, V.R. Pratt, and G.J. Holzmann (Eds.), Proc. Workshop on Partial Order Methods in Verification, vol. 29 of DIMACS Series, American Mathematical Society, 1997, pp. 213-231.
-
(1997)
Proc. Workshop on Partial Order Methods in Verification
, vol.29
, pp. 213-231
-
-
Valmari, A.1
-
20
-
-
0035552051
-
Object race detection
-
Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), ACM Press
-
C. von Praun and T.R. Gross, "Object race detection," in Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), vol. 36(11) of SIGPLAN Notices, ACM Press, 2001, pp. 70-82.
-
(2001)
SIGPLAN Notices
, vol.36
, Issue.11
, pp. 70-82
-
-
Von Praun, C.1
Gross, T.R.2
-
21
-
-
0033203864
-
Compositional pointer and escape analysis for Java programs
-
ACM Press
-
J. Whaley and M.C. Rinard, "Compositional pointer and escape analysis for Java programs," in Proc. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), ACM Press, 1999, pp. 187-206.
-
(1999)
Proc. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)
, pp. 187-206
-
-
Whaley, J.1
Rinard, M.C.2
|