ISP: A Tool for Model Checking MPI Programs
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
ACM
2008
|
_version_ | 1797102327056826368 |
---|---|
author | Vakkalanka, S Sharma, S Gopalakrishnan, G Kirby, R |
author_facet | Vakkalanka, S Sharma, S Gopalakrishnan, G Kirby, R |
author_sort | Vakkalanka, S |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T06:04:24Z |
format | Conference item |
id | oxford-uuid:ed54a86e-73cf-4d91-a32a-d202ec810bad |
institution | University of Oxford |
last_indexed | 2024-03-07T06:04:24Z |
publishDate | 2008 |
publisher | ACM |
record_format | dspace |
spelling | oxford-uuid:ed54a86e-73cf-4d91-a32a-d202ec810bad2022-03-27T11:24:09ZISP: A Tool for Model Checking MPI ProgramsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ed54a86e-73cf-4d91-a32a-d202ec810badDepartment of Computer ScienceACM2008Vakkalanka, SSharma, SGopalakrishnan, GKirby, R |
spellingShingle | Vakkalanka, S Sharma, S Gopalakrishnan, G Kirby, R ISP: A Tool for Model Checking MPI Programs |
title | ISP: A Tool for Model Checking MPI Programs |
title_full | ISP: A Tool for Model Checking MPI Programs |
title_fullStr | ISP: A Tool for Model Checking MPI Programs |
title_full_unstemmed | ISP: A Tool for Model Checking MPI Programs |
title_short | ISP: A Tool for Model Checking MPI Programs |
title_sort | isp a tool for model checking mpi programs |
work_keys_str_mv | AT vakkalankas ispatoolformodelcheckingmpiprograms AT sharmas ispatoolformodelcheckingmpiprograms AT gopalakrishnang ispatoolformodelcheckingmpiprograms AT kirbyr ispatoolformodelcheckingmpiprograms |