Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 08/15/97 → 07/31/03 |
Funding
- National Science Foundation: $1,223,697.00
LMC: A SYSTEM FOR THE SPECIFICATION AND EVALUATION OF LOGIC-BASED MODEL CHECKING
- Smolka, Scott (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 08/15/97 → 07/31/03 |