ISP Formal Verification Tool

#	Item
1	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 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
2	PDF Document Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-06-14 18:03:24 Application programming interfaces Parallel computing Model checking MPICH Thread Message Passing Interface ISP Formal Verification Tool Computing Computer programming Software