Model Checking Kernel P Systems
DOI10.1007/978-3-642-54239-8_12zbMATH Open1407.68167OpenAlexW251988146MaRDI QIDQ5404850FDOQ5404850
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
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (13)
- Search-based testing in membrane computing
- Kernel P systems: from modelling to verification and testing
- Towards a general methodology for formal verification on spiking neural P systems
- Modelling and validating an engineering application in kernel 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
- A kernel P systems survey
- An integrated model checking toolset for kernel P systems
- Title not available (Why is that?)
- Kernel P systems modelling, testing and verification -- sorting case study
Uses Software
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)
