ISP Formal Verification Tool

Results: 2



#Item
1Parallel 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

Source URL: www.mcs.anl.gov

Language: English - Date: 2007-07-26 13:39:22
2Application programming interfaces / Parallel computing / Model checking / MPICH / Thread / Message Passing Interface / ISP Formal Verification Tool / Computing / Computer programming / Software

PDF Document

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2008-06-14 18:03:24
UPDATE