Drs. Ali Ebnenasir and Steve Seidel were recently awarded $106,000 from the National Science Foundation in support of their research. Their project is entitled “Towards the Model Checking of the Partitioned Global Address Space (PGAS) Applications”. The goal of this project is to use model checking techniques to increase the dependability of High Performance Computing . . .