Sitemap Contact Events New Home

Database of research projects FEDRA

Presentation

Research actions

Persons

Search

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

Privacy

© 2014 Science Policy PPS