Model checking processes specified in join-calculus algebra
| creativeworkseries.issn | 1508-2806 | |
| dc.contributor.author | Maludziński, Sławomir P. | |
| dc.contributor.author | Dobrowolski, Grzegorz | |
| dc.date.available | 2017-09-20T11:55:52Z | |
| dc.date.issued | 2014 | |
| dc.description | Bibliogr. s. 73-74. | |
| dc.description.abstract | This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice. | en |
| dc.description.placeOfPublication | Kraków | |
| dc.description.version | wersja wydawnicza | pl |
| dc.identifier.doi | https://doi.org/10.7494/csci.2014.15.1.61 | |
| dc.identifier.eissn | 2300-7036 | |
| dc.identifier.issn | 1508-2806 | |
| dc.identifier.nukat | dd2014312057 | pl |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/49402 | |
| dc.language.iso | eng | |
| dc.publisher | Wydawnictwa AGH | |
| dc.relation.ispartof | Computer Science | |
| dc.rights | Attribution 4.0 International | |
| dc.rights.access | otwarty dostęp | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/legalcode | |
| dc.subject | join-calculus | en |
| dc.subject | model checking | en |
| dc.subject | formal methods | en |
| dc.subject | automatic software verification | en |
| dc.title | Model checking processes specified in join-calculus algebra | en |
| dc.title.related | Computer Science | |
| dc.type | artykuł | |
| dspace.entity.type | Publication | |
| publicationissue.issueNumber | No. 1 | |
| publicationissue.pagination | pp. 61-74 | |
| publicationvolume.volumeNumber | Vol. 15 | |
| relation.isAuthorOfPublication | 31e23f67-693e-4984-a101-bdb0884d12a4 | |
| relation.isAuthorOfPublication.latestForDiscovery | 31e23f67-693e-4984-a101-bdb0884d12a4 | |
| relation.isJournalIssueOfPublication | 8af6b8b4-d5fc-418f-b449-4bdc5a4262a7 | |
| relation.isJournalIssueOfPublication.latestForDiscovery | 8af6b8b4-d5fc-418f-b449-4bdc5a4262a7 | |
| relation.isJournalOfPublication | 020291ee-249b-4dcf-98a3-276a2f7981aa |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- csci.2014.15.1.61.pdf
- Size:
- 4.05 MB
- Format:
- Adobe Portable Document Format