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