Formal Verification of Parallel Computing: ISP  InSitu Model Checker 
Contributor: Simone Atzeni

This webpage shows my Thesis about Formal Verification of Parallel Computing . This work introduces the main points about Parallel Computing and how the Formal Verification verifies parallel programs. Moreover, the target of the Thesis is to present ISP  InSitu Model Checker a Model Checker for verifying MPI programs and to analyze an important modification of ISP for managing a group of MPI functions, called Collective Routines . 
A brief Power Point presentation of this work can be downloaded from here . 
For more details see the entire Thesis: Formal Verification of Parallel Computing: ISP  InSitu Model Checker or download the LaTex Source . 
Last Modified: 01/12/2009 