An Integrated Model Checking Toolset for Kernel P Systems

DOI10.1007/978-3-319-28475-0_11zbMath1473.68080DBLPconf/membrane/GheorgheKIMBS15OpenAlexW2293614348WikidataQ57691177 ScholiaQ57691177MaRDI QIDQ2789127

Mehmet Emin Bakir, Florentin Ipate, Laurenţiu Mierlă, Mike Stannett, Savas Konur, Marian Gheorghe

Publication date: 26 February 2016

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/94858/1/CMC16.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (8)

Simulating and model checking membrane systems using strategies in Maude ⋮ Kernel P systems: from modelling to verification and testing ⋮ A model learning based testing approach for kernel P systems ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Kernel P Systems Modelling, Testing and Verification - Sorting Case Study ⋮ Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ Search-based testing in membrane computing

Uses Software

• kPWorkbench

This page was built for publication: An Integrated Model Checking Toolset for Kernel P Systems