Project Details
Description
MODEL CHECKING IS A POWERFUL TECHNIQUE USED TO VERIFY THAT A SYSTEM DOES NOT VIOLATE ITS INTENDED BEHAVIOR. WHILE THIS IS VERY USEFUL IN PROVING THE
| Status | Finished |
|---|---|
| Effective start/end date | 08/1/12 → 07/31/16 |
Funding
- NASA Goddard Space Flight Center: $258,467.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.