Description
Research on formal methods for computer aided verification of concurrent programs: real-time aspectsinfinite state systemsmodular verification
| Acronym | CFV |
|---|---|
| Status | Active |
| Effective start/end date | 1/10/99 → … |
| Links | http://www.ulb.ac.be/di/ssd/cfv/ |
Keywords
- formal methods
- software verification
- software specification
- model checking
- program proof
- NADI