Common Contracts
1 similar Deploy Grant Agreement contracts
DEPLOY DeliverableDeploy Grant Agreement • September 15th, 2010
Although formal methods have developed for several decades in research laboratories, up to now they have had only little breakthrough in Industry. However, two factors have emerged in this decade. First, formal methods and tools have grown in maturity thanks to projects such as Rodin. Second, Industrial systems have grown to much higher degrees of complexity than ever before. Anticipating every interaction between all the electronic and software sub-components of a system is beyond the scope of Human capabilities alone. Formal engineering methods therefore offer a powerful mechanism to help engineers in crafting more dependable systems. In particular, formal methods impose to engineers to state explicitly the important aspect so that important properties and behaviours of the modelled systems can be guaranteed. The DEPLOY project now pushes further the argument for formal methods. First, by increasing the maturity of formal methods and tools; and second, by showing the applicability of
