Formal Verification of Parallel Computing: ISP - In-Situ 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 - In-Situ 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 - In-Situ Model Checker or download the LaTex Source .


Last Modified: 01/12/2009