Protocol Verifier

                         (An initiative from the Department of Computer Engineering, San Jose State University under the guidance of Prof. Frank Lin)

Release:
Pre Alpha v0.1 (Source code) - 11/29/2006

Documentation:
Project Presentation - 11/29/2006
Project Report - 11/29/2006

Developers:
Sreevathsa Sathyanarayana
Sonia Sainani
Roshni Zawar
Naghman Mohammed