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
  • NADI