Research project IT/IF/015 (Research action IT)
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.