An integrated model checking toolset for kernel P systems

DOI10.1007/978-3-319-28475-0_11MaRDI QIDQ2789127zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

Recommendations

• Model Checking Kernel P Systems
• Kernel P systems: from modelling to verification and testing
• Kernel P systems modelling, testing and verification -- sorting case study
• An integrated approach to P systems formal verification
• Unconventional Computation

Cited in

(12)

• Kernel P systems modelling, testing and verification -- sorting case study
• Spiking neural P systems: matrix representation and formal verification
• Search-based testing in membrane computing
• Verification, Model Checking, and Abstract Interpretation
• Kernel P systems: from modelling to verification and testing
• Modelling and validating an engineering application in kernel P systems
• Agent-based simulation of kernel P systems with division rules using FLAME
• A model learning based testing approach for kernel P systems
• Formal verification of cP systems using PAT3 and ProB
• Simulating and model checking membrane systems using strategies in Maude
• Comparative analysis of statistical model checking tools
• Model Checking Kernel P Systems

Describes a project that uses

Uses Software

• kPWorkbench

This page was built for publication: An integrated model checking toolset for kernel P systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789127)