GMC
The Monte Carlo Software Model Checker
Introduction | Publications | Download | People | Sponsors | Links
People

Prof. Radu Grosu Email: grosu@cs.sunysb.edu Homepage: http://www.cs.sunysb.edu/~grosu Prof. Scott Smolka Email: sas@cs.sunysb.edu Homepage: http://www.cs.sunysb.edu/~sas Sumit Jain Email: sumit.jain@intel.com Xiaowan Huang Email: xhuang@cs.sunysb.edu Prof. Erez Zadok Email: ezk@cs.sunysb.edu Homepage: http://www.cs.sunysb.edu/~ezk Abhishek Rai Email: abba@cs.sunysb.edu Sean Callanan Email: spyffe@cs.sunysb.edu

Maintained by Xiaowan Huang