-
1
-
-
0009005388
-
-
New Brunswick, New Jersey, July Springer-Verlag. AH96
-
AH96. R. Alur and T. A. Henzinger, editors. Computer Aided Verification (CAV '96), volume 1102 of Lecture Notes in Computer Science, New Brunswick, New Jersey, July 1996. Springer-Verlag.
-
(1996)
Computer Aided Verification (CAV '96), volume 1102 of Lecture Notes in Computer Science
-
-
Alur, R.1
Henzinger, T.A.2
-
2
-
-
0003392260
-
-
Technical Report 96-084, Computer Science Department, University of Massachusetts at Amherst, CCA96
-
CCA96. A. T. Chamillard, L. A. Clarke, and G. S. Avrunin. Experimental design for comparing static concurrency analysis techniques. Technical Report 96-084, Computer Science Department, University of Massachusetts at Amherst, 1996.
-
(1996)
Experimental design for comparing static concurrency analysis techniques
-
-
Chamillard, A.T.1
Clarke, L.A.2
Avrunin, G.S.3
-
4
-
-
84957359038
-
-
Alur and Henzinger [AH96],. CLSS96
-
CLSS96. R. Cleaveland, P. M. Lewis, S. A. Smolka, and O. Sokolsky. The Con-currency Factory: A development environment for concurrent systems. In Alur and Henzinger [AH96], pages 398-401.
-
The Con-currency Factory: A development environment for concurrent systems
, pp. 398-401
-
-
Cleaveland, R.1
Lewis, P.M.2
Smolka, S.A.3
Sokolsky, O.4
-
6
-
-
0003581143
-
-
Alur and Henzinger [AH96], CMCHG96
-
CMCHG96. E. M. Clarke, K. McMillan, S. Campos, and V. Hartonas-GarmHausen. Symbolic model checking. In Alur and Henzinger [AH96], pages 419-422.
-
Symbolic model checking
, pp. 419-422
-
-
Clarke, E.M.1
McMillan, K.2
Campos, S.3
Hartonas-GarmHausen, V.4
-
7
-
-
0000706110
-
Evaluating deadlock detection methods for concurrent software
-
March Cor96
-
Cor96. J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3): 161-180, March 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.3
, pp. 161-180
-
-
Corbett, J.C.1
-
8
-
-
0000289556
-
Formal methods: State of the art and future directions
-
4es, December CW96
-
CW96. E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4es), December 1996.
-
(1996)
ACM Computing Surveys
, vol.28
-
-
Clarke, E.M.1
Wing, J.M.2
-
9
-
-
84949000800
-
-
Alur and Henzinger [AH96],. Dil96
-
Dil96. D. L. Dill. The Mur-verification system. In Alur and Henzinger [AH96], pages 390-393.
-
The Mur-verification system
, pp. 390-393
-
-
Dill, D.L.1
-
14
-
-
84957365826
-
-
Alur and Henzinger [AH96], ORR+96
-
ORR+96. S. Owre, S. Rajan, J. M. Rushby, N. Shankar, and M. Srivas. PVS: Combining specification, proof checking, and model checking. In Alur and Henzinger [AH96], pages 411-414.
-
PVS: Combining specification, proof checking, and model checking
, pp. 411-414
-
-
Owre, S.1
Rajan, S.2
Rushby, J.M.3
Shankar, N.4
Srivas, M.5
-
15
-
-
84947433380
-
Efficient model checking us-ing tabled resolution
-
Haifa, Israel, July Springer-Verlag. RRR+97
-
RRR+97. Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. W. Swift, and D. S. Warren. Efficient model checking us-ing tabled resolution. In Proceedings of the 9th International Conference on Computer-Aided Verification (CAV '97), volume 1254 of Lecture Notes in Computer Science, pages 143-154, Haifa, Israel, July 1997. Springer-Verlag.
-
(1997)
Proceedings of the 9th International Conference on Computer-Aided Verification (CAV '97), volume 1254 of Lecture Notes in Computer Science
, pp. 143-154
-
-
Ramakrishna, Y.S.1
Ramakrishnan, C.R.2
Ramakrishnan, I.V.3
Smolka, S.A.4
Swift, T.W.5
Warren, D.S.6
-
16
-
-
84957880016
-
Partial-order reduction in the weak modal mu-calculus
-
A. Mazurkiewicz and J. Winkowski, editors, Warsaw, Poland, July Springer-Verlag. RS97
-
RS97. Y. S. Ramakrishna and S. A. Smolka. Partial-order reduction in the weak modal mu-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the Eighth International Conference on Concurrency The-ory (CONCUR '97), volume 1243 of Lecture Notes in Computer Science, pages 5-24, Warsaw, Poland, July 1997. Springer-Verlag.
-
(1997)
Proceedings of the Eighth International Conference on Concurrency The-ory (CONCUR '97), volume 1243 of Lecture Notes in Computer Science
, pp. 5-24
-
-
Ramakrishna, Y.S.1
Smolka, S.A.2
-
17
-
-
85051051500
-
Expressing interesting properties of programs in propositional temporal logic
-
St. Petersburgh, January Wol86
-
Wol86. P. Wolper. Expressing interesting properties of programs in propositional temporal logic. In Proc. 13th ACM Symp. on Principles of Programming Languages, pages 184-192, St. Petersburgh, January 1986.
-
(1986)
Proc. 13th ACM Symp. on Principles of Programming Languages
, pp. 184-192
-
-
Wolper, P.1
-
18
-
-
84948962132
-
-
Available by anony-mous ftp from XSB97.XSB
-
XSB97. XSB. The XSB logic programming system v1. 7, 1997. Available by anony-mous ftp from ftp. cs. sunysb. edu.
-
(1997)
The XSB logic programming system v1. 7
-
-
|