Show simple item record

dc.contributor.authorGheorghe, Marian*
dc.contributor.authorCeterchi, R.*
dc.contributor.authorIpate, F.*
dc.contributor.authorKonur, Savas*
dc.contributor.authorLefticaru, Raluca*
dc.date.accessioned2017-03-29T09:51:12Z
dc.date.available2017-03-29T09:51:12Z
dc.date.issued2018-05
dc.identifier.citationGheorghe M, Ceterchi R, Ipate F et al (2017) Kernel P systems: from modelling to verification and testing. Theoretical Computer Science. 724: 45-60.en_US
dc.identifier.urihttp://hdl.handle.net/10454/11720
dc.descriptionYesen_US
dc.description.abstractA kernel P system integrates in a coherent and elegant manner some of the most successfully used features of the P systems employed in modelling various applications. It also provides a theoretical framework for analysing these applications and a software environment for simulating and verifying them. In this paper, we illustrate the modelling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kernel P system models for a sorting algorithm and a broadcasting problem. We also show how formal verification can be used to validate that the given models work as desired. Finally, a test generation method based on automata is extended to non-deterministic kernel P systems.en_US
dc.description.sponsorshipThe work of MG, FI and RL were supported by a grant of the Romanian National Author- ity for Scientific Research, CNCS-UEFISCDI (project number: PN-II-ID-PCE-2011-3-0688); RCUKen_US
dc.language.isoenen_US
dc.rights© 2017 Elsevier. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license.
dc.subjectKernel P systems; Modelling; Sorting; Model checking; Testingen_US
dc.titleKernel P systems: from modelling to verification and testingen_US
dc.status.refereedYesen_US
dc.date.Accepted2017-03-24
dc.date.application2017-12-13
dc.typeArticleen_US
dc.type.versionAccepted Manuscripten_US
dc.identifier.doihttps://doi.org/10.1016/j.tcs.2017.12.010
refterms.dateFOA2018-12-14T10:03:36Z


Item file(s)

Thumbnail
Name:
Konur_Theoretical_Computer_Sci ...
Size:
852.7Kb
Format:
PDF
Description:
To keep suppressed
Thumbnail
Name:
Konur_Theoretical_Computer_Sci ...
Size:
930.7Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record