[ptp-dev] SC'10 - Scalable Dynamic Formal Verification Tutorial

[Alan Humphrey <ahumphre@xxxxxxxxxxx>]

Hi All,

The other SC tutorial where GEM/PTP will be shown is at

http://sc10.supercomputing.org/schedule/event_detail.php?evid=tut129

The abstract mentions PTP & scalability plans for GEM's underlying verification tool, ISP.

I've also attached an image showing an Eclipse View (created as a side project) with chapters from Peter Pacheco's book on MPI. One can simply click the project to import a particular chapter's code into an Eclipse MPI-C project. We have permission to use this in a classroom setting.

Alan