-
2
-
-
84858543452
-
-
ASCI/Alliance Center for Astrophysical Thermonuclear Flashes web site. http://flash.uchicago.edu.
-
-
-
-
4
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
June
-
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, pages 439-448, June 2000.
-
(2000)
Proceedings of the 22nd International Conference on Software Engineering
, pp. 439-448
-
-
Corbett, J.C.1
Dwyer, M.B.2
Hatcliff, J.3
Laubach, S.4
Pǎsǎreanu, C.S.5
Robby6
Zheng, H.7
-
7
-
-
0016592810
-
Reduction: A method of proving properties of parallel programs
-
Dec.
-
R. J. Lipton. Reduction: A method of proving properties of parallel programs. Communications of the ACM, 18:717-721, Dec. 1975.
-
(1975)
Communications of the ACM
, vol.18
, pp. 717-721
-
-
Lipton, R.J.1
-
8
-
-
0036723594
-
Deadlock detection in MPI programs
-
G. Luecke, Y. Zou, J. Coyle, J. Hoekstra, and M. Kraeva. Deadlock detection in MPI programs. Concurrency and Computation: Practice and Experience, 14:911-932, 2002.
-
(2002)
Concurrency and Computation: Practice and Experience
, vol.14
, pp. 911-932
-
-
Luecke, G.1
Zou, Y.2
Coyle, J.3
Hoekstra, J.4
Kraeva, M.5
-
11
-
-
0003575852
-
-
Computer Science Laboratory, SRI International, Menlo Park, CA, Sept.
-
S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert. PVS System Guide. Computer Science Laboratory, SRI International, Menlo Park, CA, Sept. 1999.
-
(1999)
PVS System Guide
-
-
Owre, S.1
Shankar, N.2
Rushby, J.M.3
Stringer-Calvert, D.W.J.4
-
12
-
-
24144489463
-
Efficient verification of halting properties for MPI programs with wildcard receives
-
R. Cousot, editor, Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, January 17-19, 2005, Proceedings
-
S. F. Siegel. Efficient verification of halting properties for MPI programs with wildcard receives. In R. Cousot, editor, Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, January 17-19, 2005, Proceedings, volume 3385 of Lecture Notes in Computer Science, pages 413-429, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3385
, pp. 413-429
-
-
Siegel, S.F.1
-
13
-
-
24144478052
-
Modeling MPI programs for verification
-
Department of Computer Science, University of Massachusetts
-
S. F. Siegel and G. S. Avrunin. Modeling MPI programs for verification. Technical Report UM-CS-2004-75, Department of Computer Science, University of Massachusetts, 2004.
-
(2004)
Technical Report
, vol.UM-CS-2004-75
-
-
Siegel, S.F.1
Avrunin, G.S.2
-
14
-
-
35048878721
-
Verification of MPI-based software for scientific computation
-
S. Graf and L. Mounier, editors, Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Springer-Verlag
-
S. F. Siegel and G. S. Avrunin. Verification of MPI-based software for scientific computation. In S. Graf and L. Mounier, editors, Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, volume 2989 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2989
, pp. 286-303
-
-
Siegel, S.F.1
Avrunin, G.S.2
|