Sitemap Contact Events New Home

Database of research projects FEDRA


Research actions



Research and applications > Projectendatabanken > Database of research projects FEDRA

Temporal verification tools

Research project IT/IF/015 (Research action IT)

Persons :

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.

About this website


© 2015 Science Policy PPS