Model Checking Kernel P Systems

DOI10.1007/978-3-642-54239-8_12MaRDI QIDQ5404850zbMATH OpenOpenAlexFDO

Authors Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurenţiu Mierlă

Publication date 28 March 2014

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54239-8_12

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An integrated model checking toolset for kernel P systems
• Kernel P systems: from modelling to verification and testing
• Unconventional Computation
• Kernel P systems modelling, testing and verification -- sorting case study
• Model checking parameterized systems
• Modelling and validating an engineering application in kernel P systems
• On the decidability of model-checking for P systems
• Formal models of operating system kernels
• scientific article; zbMATH DE number 2086523

Cited in

(13)

• Kernel P systems modelling, testing and verification -- sorting case study
• A kernel P systems survey
• scientific article; zbMATH DE number 6665225 (Why is no real title available?)
• Search-based testing in membrane computing
• Kernel P systems: from modelling to verification and testing
• Modelling and validating an engineering application in kernel P systems
• Towards a general methodology for formal verification on spiking neural P systems
• Agent-based simulation of kernel P systems with division rules using FLAME
• Formal verification of cP systems using Coq
• A model learning based testing approach for kernel P systems
• Formal verification of cP systems using PAT3 and ProB
• Comparative analysis of statistical model checking tools
• An integrated model checking toolset for kernel P systems

Describes a project that uses

Uses Software

• SPIN
• PRISM

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

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