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 → … |
Attachment to an Research Institute in UNAMUR
- NADI
Keywords
- formal methods
- software verification
- software specification
- model checking
- program proof