Challenges in applying formal verification and contract-based methodology in industrial applications

Alberto Ferrari, ALES/UTC

Abstract:  Formal verification and contract-based methodology are appealing solutions to increase the rigorousness of processes for the design and verification of complex embedded systems. The applications of these technologies to industrial contexts is still very limited due to several challenges and limitations. In this presentation, an overview of the use and limits of formal verification techniques in a contract-based methodology for the analysis & design of heterogeneous systems is provided.