The scope of the project was the verification of properties of shared memory concurrent programs, both advancing the state of the art at the theoretical level and producing tools that can be used by companies developing critical applications. Our approach will focus simultaneously on two techniques: software model checking and deductive reasoning. Crucially, advances in each technique have historically fed back into the other technique, and we believe such a mixed approach (which is made possible by the know-how accumulated by the team over the last five years) can be fruitful.<\/p>\n\n\n\n
AVIACC was funded by ERDF – European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT – Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020486.<\/p>\n\n\n\n
The participation of ISEP was led by members of the SoftCPS laboratory, working in the verification of timing properties.<\/p>\n\n\n\n