]
]
]
]
Project
Federated Centre for Software Verification (CFV)
Duration
since 1999
Keywords
software verification, program proof, model checking, software specification, formal methods
Description
Research on formal methods for computer aided verification of concurrent programs: real-time aspects infinite state systems modular verification
Research unit(s)
Research theme(s)
Staff (finished contracts)
Chairperson(s) |
|||
| Pierre-Yves SCHOBBENS | Leader | 081/724990 | |
Research staff |
|||
| Yves BONTEMPS | Researcher | ||
| James ORTIZ VEGA | Researcher | 081/725257 | |
Publications (1)
Collective work contributions
2011
Distributed Event Clock Automata: Extended abstract, in CIAA 2011, collection LNCS, volume 6807, pp. 250-263
James ORTIZ VEGA, Axel LEGAY, Pierre-Yves SCHOBBENS
James ORTIZ VEGA, Axel LEGAY, Pierre-Yves SCHOBBENS
Collaborations
- ULG - Université de Liège, Faculté des Sciences appliquées
- Université Libre de Bruxelles (ULB), Département d'Informatique
- UMH - Université de Mons-Hainaut, Institut d'Informatique
- Université Catholique de Louvain (UCL), Département d'Ingénierie Informatique
Contracts
- FRFC - FNRS
