Research and applications > Projectendatabanken > Database of research projects FEDRA
Temporal verification tools
Research project IT/IF/015 (Research action IT)
Persons :
- Prof. dr.
WOLPER Pierre - Université de Liège (ULG)
Financed belgian partner
Duration: 15/12/1990-31/12/1995
Description :
The aim of this project is to develop tools to check properties of parallel programs expressed in temporal logic. The verification method adopted is that of model-checking. The project will make use of the recent improvements in this technique which make it possible to check large-scale programs.