메뉴 건너뛰기




Volumn , Issue , 2005, Pages 95-106

Modeling wildcard-free MPI programs for verification

Author keywords

Analysis; Concurrent systems; Deadlock; Finite state verification; Formal methods; Message Passing Interface; Model checking; MPI; Parallel computation; SPIN

Indexed keywords

CONCURRENT SYSTEM; FINITE-STATE VERIFICATION; MODEL CHECKING; SPIN;

EID: 31844454455     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065944.1065957     Document Type: Conference Paper
Times cited : (29)

References (15)
  • 2
    • 84858543452 scopus 로고    scopus 로고
    • ASCI/Alliance Center for Astrophysical Thermonuclear Flashes web site. http://flash.uchicago.edu.
  • 7
    • 0016592810 scopus 로고
    • 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
  • 12
    • 24144489463 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.