Realising the Benefits of Formal Methods
| dc.creator | Hall,Anthony | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:23Z | |
| dc.date.available | 2024-02-06T12:55:23Z | |
| dc.description | This paper surveys the whys, and the wherefores of using formal methods in an industrial context. Evidence is presented that the benefits of using formal techniques, though not an automatic consequence of their adoption, can be considerable. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-05-0669 | |
| dc.identifier | https://lib.jucs.org/article/28794/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9347 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(5): 669-678 | |
| dc.subject | formal methods | |
| dc.subject | correctness by construction | |
| dc.title | Realising the Benefits of Formal Methods | |
| dc.type | Research Article |