Return to search

kPWorkbench: A software suit for membrane systems

Yes / Membrane computing is a new natural computing paradigm inspired by the functioning and structure of biological cells, and has been successfully applied to many different areas, from biology to engineering. In this paper, we present kPWorkbench, a software framework developed to support membrane computing and its applications. kPWorkbench offers unique features, including modelling, simulation, agent-based high performance simulation and verification, which allow modelling and computational analysis of membrane systems. The kPWorkbench formal verification component provides the opportunity to analyse the behaviour of a model and validate that important system requirements are met and certain behaviours are observed. The platform also features a property language based on natural language statements to facilitate property specification. / EPSRC

Identiferoai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/18044
Date29 January 2020
CreatorsKonur, Savas, Mierla, L.M., Ipate, F., Gheorghe, Marian
Source SetsBradford Scholars
LanguageEnglish
Detected LanguageEnglish
TypeArticle, Published version
Rights(c) 2020 The Authors. This is an Open Access article distributed under the Creative Commons CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Page generated in 0.002 seconds