Back to Results
First PageMeta Content
Parallel computing / Application programming interfaces / Model checking / MPICH / Application checkpointing / Promela / ISP / Thread / ISP Formal Verification Tool / Computing / Computer programming / Software


Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1
Add to Reading List

Document Date: 2007-07-26 13:39:22

Open Document

File Size: 182,29 KB

Share Result on Facebook

City

Science / Argonne / Cambridge / /

Company

MIT Press / Intel / Microsoft / Model Checking Software / /

Country

United States / /

Currency

pence / /

Event

FDA Phase / /

Facility

MPI library / Computer Science Division Argonne National Laboratory / Computing University of Utah Salt Lake City / /

IndustryTerm

sure search / byte-range-locking algorithm / model-checking tool / byte-range-locking protocol / search algorithm / threaded software / depth-first search / random depth-first-search algorithm / scientific computing software / software testing / search depth / /

Organization

National Science Foundation / MIT / Mathematical / Information / and Computational Sciences Division / office of Advanced Scientific Computing Research / office of Science / Computing University of Utah Salt Lake City / /

Person

Stephen F. Siegel / Bettina Krammer / Robert Ross / Xiaofang Chen / Steve Barrus / Victor Samofalov / George S. Avrunin / Bob Kuhn / Michael M. Resch / Robert Latham / Orna Grumberg / Robert Palmer / Edmund M. Clarke / Salman Pervez / Cormac Flanagan / T. Clearly / Rajeev Thakur / Robert M. Kirby / Ganesh Gopalakrishnan / Patrice Godefroid / Sergey Zheltov / Yu Yang / Klaus Havelund / Stanislav Bratanov / Guillaume Brat / William Gropp / Jeffrey S. Vetter / Gerard J. Holzmann / /

Position

designer / scheduler / scheduler control the transitions / /

Product

Verisoft / Promela / P0 / P1 / /

ProgrammingLanguage

Java / C / Fortran 90 / Promela / /

ProvinceOrState

Illinois / Utah / Massachusetts / /

Technology

byte-range-locking protocol / Dynamic Partial-Order Reduction The algorithm / DPOR-based algorithm / byte-range-locking algorithm / 1 GHz processor / DPOR algorithm / DPOR-based scheduling algorithm / Java / byterange The search algorithm / ISP / same protocol / /

URL

http /

SocialTag