Model Checking: Software and Beyond
| dc.creator | Clarke,Edmund | |
| dc.creator | Lerda,Flavio | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:22Z | |
| dc.date.available | 2024-02-06T12:55:22Z | |
| dc.description | This paper introduces model checking, originally conceived for checking finite statesystems. It surveys its evolution to encompass finitely checkable properties of systems with unbounded state spaces, and its application to software and other systems. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-05-0639 | |
| dc.identifier | https://lib.jucs.org/article/28790/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9344 | |
| 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): 639-649 | |
| dc.subject | formal methods | |
| dc.subject | model checking | |
| dc.title | Model Checking: Software and Beyond | |
| dc.type | Research Article |