Loading...
Please wait, while we are loading the content...
Similar Documents
Making Formal Methods popular through Automated Verification
| Content Provider | Semantic Scholar |
|---|---|
| Author | Escher, David Crocker |
| Abstract | Formal methods of software development have been used in developing mission-critical software for some time but have been little used for non-critical development. It is our opinion that formal methods stand no chance of becoming mainstream unless the overheads associated with formal verification can be eliminated and the need for extensive mathematical skill on the part of the user can be avoided. Thanks to advances in theorem proving technology and the availability of substantial processing power at low cost, we believe that fully automated validation is now a practical possibility. We have developed a product supporting the development of object-oriented software components and applications with the aim of providing fully automated validation that links requirements right through to code. This paper details some of our experiences of using this system to develop and validate a large project, namely the compiler/verifier itself. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.dii.unisi.it/~ijcar/ShortPapers/crocker.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
