Automated Formal Methods Enter the Mainstream
| dc.creator | Rushby,John | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:22Z | |
| dc.date.available | 2024-02-06T12:55:22Z | |
| dc.description | This paper outlines the emergence of formal techniques, explaining why they wereslow to take on an industrially acceptable form. The contemporary scene, in which formal techniques are increasingly packaged within tools usable by a wide variety of engineers, is reviewed,as are the promising prospects for the future. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-05-0650 | |
| dc.identifier | https://lib.jucs.org/article/28791/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9345 | |
| 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): 650-660 | |
| dc.subject | formal methods | |
| dc.title | Automated Formal Methods Enter the Mainstream | |
| dc.type | Research Article |