Published December 7, 2016 | Version v1
Publication

Kernel P Systems Modelling, Testing and Veri cation

Description

A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for analyzing these models. In this paper, we illustrate the modeling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kP system models for sorting algorithms. Furthermore, the problem of testing systems modelled as kP systems is also discussed and a test generation method based on automata is proposed. We also demonstrate how formal veri cation can be used to validate that the given models work as desired.

Additional details

Identifiers

URL
https://idus.us.es/handle/11441/49811
URN
urn:oai:idus.us.es:11441/49811