| Project Page | |
| Publications | |
| People | |
| Related Sites | |
 |
|
|
 |
- SMV
- nuSMV
- Automated Software Engineering Group, Nasa Ames Research Center
- William Chan (we are using a technique he developed called temporal queries)
- An earlier description of this work