| dc.contributor.author | Butterfield, Andrew | |
| dc.contributor.author | Gomes, Artur Oliveira | |
| dc.date.accessioned | 2020-01-22T16:24:28Z | |
| dc.date.available | 2020-01-22T16:24:28Z | |
| dc.date.issued | 2019 | |
| dc.date.submitted | 2019 | en |
| dc.identifier.citation | Gomes, A.O. & Butterfield, A., Circus2CSP: A tool for model-checking circus using FDR, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11800 LNCS, 2019, 235-242 | en |
| dc.identifier.other | Y | |
| dc.description.abstract | In this paper, we introduce Circus2CSP, a tool that automatically translates Circus into 𝐶𝑆𝑃𝑀, with an implementation based on a published manual translation scheme. This scheme includes new and modified translation rules that emerged as a result of experimentation. We addressed issues with FDR state-space explosion, by optimising our models using the Circus Refinement Laws. We briefly describe the usage of Circus2CSP along with a discussion of some experiments comparing our tool with the literature. | en |
| dc.format.extent | 235-242 | 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 | Unifying theories of programming | en |
| dc.subject | Circus | en |
| dc.subject | CSP | en |
| dc.title | Circus2CSP: A tool for model-checking circus using FDR | 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 | 210069 | |
| dc.identifier.doi | http://dx.doi.org/10.1007/978-3-030-30942-8_15 | |
| dc.rights.ecaccessrights | openAccess | |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | |
| dc.identifier.uri | https://link.springer.com/chapter/10.1007%2F978-3-030-30942-8_15 | |
| dc.identifier.uri | http://hdl.handle.net/2262/91359 | |
