Project Details

Description

Research on formal methods for computer aided verification of concurrent programs: real-time aspectsinfinite state systemsmodular verification
AcronymCFV
StatusActive
Effective start/end date1/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.