dc.contributor.author | Butterfield, Andrew | |
dc.contributor.author | Gomes, Artur Oliveira | |
dc.date.accessioned | 2020-01-22T16:26:28Z | |
dc.date.available | 2020-01-22T16:26:28Z | |
dc.date.issued | 2019 | |
dc.date.submitted | 2019 | en |
dc.identifier.citation | Gomes, A.O. & Butterfield, A., Towards a model-checker for circus, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11800 LNCS, 2019, 217-234 | en |
dc.identifier.other | Y | |
dc.identifier.uri | https://link.springer.com/chapter/10.1007%2F978-3-030-30942-8_14 | |
dc.identifier.uri | http://hdl.handle.net/2262/91360 | |
dc.description.abstract | Among several approaches aiming at the correctness of systems, model-checking is one technique to formally assess system models regarding their desired/undesired behavioural properties. We aim at model-checking the Open image in new window notation that combines Z, CSP, and Morgan’s refinement calculus, based on the Unifying Theories of Programming. In this paper, we experiment with approaches for capturing Open image in new window processes in CSP, and for each approach, we evaluate the impact of our decisions on the state-space explored as well as the time spent for such a checking using FDR. We also experimented with the consequences of model-checking CSP models that capture both state invariants and preconditions of Open image in new window models. | en |
dc.format.extent | 217-234 | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); | |
dc.relation.ispartofseries | 11800 LNCS; | |
dc.rights | Y | en |
dc.subject | Model checking | en |
dc.subject | Circus | en |
dc.subject | CSP | en |
dc.subject | Unifying theories of programming | en |
dc.title | Towards a model-checker for circus | en |
dc.type | Journal Article | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
dc.identifier.rssinternalid | 210068 | |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-030-30942-8_14 | |
dc.rights.ecaccessrights | openAccess | |
dc.identifier.orcid_id | 0000-0002-2337-2101 | |