Industrial deployment of system engineering methods providing high dependability and productivity


Is my Formal Method Tool Ready for the Industry ?

Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud (2012) Is my Formal Method Tool Ready for the Industry ? In: AVOCS 2011, 12-14 September 2011, Newcastle, UK.


Official URL:


Using formal methods requires adequate tool support. Many formal tools emerge from academic prototypes and evolve towards Industry. This short paper summaries on-going work within the DEPLOY project on providing answers to many practical questions frequently raised by Industry users regarding formal method tools in particular : performance, scalability, integration, user-friendliness, qualification/certification with regards to Industry standards.

Item Type:Conference or Workshop Item (Paper)
Subjects:Industrial Deployment
Tool developments
ID Code:378
Deposited By: Ir Christophe Ponsard
Deposited On:15 Mar 2012 09:44
Last Modified:15 Mar 2012 09:44

Repository Staff Only: item control page

Deploy-Project - All right reserved