Rapid Finder

PSP group at UT Austin

PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

Sponsorized Links