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
| Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/18044 |
| Date | 29 January 2020 |
| Creators | Konur, Savas, Mierla, L.M., Ipate, F., Gheorghe, Marian |
| Source Sets | Bradford Scholars |
| Language | English |
| Detected Language | English |
| Type | Article, 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.0022 seconds