Show simple item record

dc.contributor.authorButterfield, Andrew
dc.contributor.authorGomes, Artur Oliveira
dc.date.accessioned2020-01-22T16:24:28Z
dc.date.available2020-01-22T16:24:28Z
dc.date.issued2019
dc.date.submitted2019en
dc.identifier.citationGomes, 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-242en
dc.identifier.otherY
dc.identifier.urihttps://link.springer.com/chapter/10.1007%2F978-3-030-30942-8_15
dc.identifier.urihttp://hdl.handle.net/2262/91359
dc.description.abstractIn 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.extent235-242en
dc.language.isoenen
dc.relation.ispartofseriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics);
dc.relation.ispartofseries11800 LNCS;
dc.rightsYen
dc.subjectModel checkingen
dc.subjectUnifying theories of programmingen
dc.subjectCircusen
dc.subjectCSPen
dc.titleCircus2CSP: A tool for model-checking circus using FDRen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfeld
dc.identifier.rssinternalid210069
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-030-30942-8_15
dc.rights.ecaccessrightsopenAccess
dc.identifier.orcid_id0000-0002-2337-2101


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record