The objective of this work package is to enhance component-based formal verification techniques, while exploiting the compositionality and composability, to develop system design, simulation and validation models which support mixed criticality constraints and handle manycore hardware architectures.
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.