GMC | ![]() ![]() |
The Monte Carlo Software Model Checker | |
Sponsors |
Special thanks to our sponsors: National Science Foundation (www.nsf.gov) Dr. Helen Gill, program director HyCON: Runtime Monitoring and Model Checking for High-Confidence Systems Software, NSF CSR-AES05-09230 MODES: Model Based Design and Verification of Embedded Systems, NSF
CAREER CCR01-33583 |
Maintained by Xiaowan Huang |