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.
|
PDF
92Kb |
Official URL: http://conferences.ncl.ac.uk/AVoCS2011/
Abstract
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
