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 → …

Attachment to an Research Institute in UNAMUR

  • NADI

Keywords

  • formal methods
  • software verification
  • software specification
  • model checking
  • program proof