Spiking neural P systems: matrix representation and formal verification
DOI10.1007/S41965-021-00075-1zbMATH Open1469.68035OpenAlexW3159063292MaRDI QIDQ1983014FDOQ1983014
Authors: Raluca Lefticaru, Savas Konur, Ionuţ Mihai Niculescu, Marian Gheorghe, Henry N. Adorna 
Publication date: 14 September 2021
Published in: Journal of Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s41965-021-00075-1
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Computing with membranes
- Membrane computing. An introduction.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Spiking neural P systems
- 3-Col problem modelling using simple kernel P systems
- A Formal Framework for Static (Tissue) P Systems
- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
- Generalized communicating P systems
- Model-checking of correctness conditions for concurrent objects
- Reversible P systems to simulate Fredkin circuits
- Dual P Systems
- On reversibility and determinism in P systems
- Reversing computation in membrane systems
- Modelling and validating an engineering application in kernel P systems
- A formal framework for spiking neural P systems
- Towards light-weight probabilistic model checking
- Kernel P systems: from modelling to verification and testing
- A survey on temporal logics for specifying and verifying real-time systems
- An integrated model checking toolset for kernel P systems
- Kernel P systems modelling, testing and verification -- sorting case study
- Matrix representation of spiking neural P systems
- An interval logic for natural language semantics
- Conventional verification for unconventional computing: a genetic XOR gate example
Cited In (10)
- Automated verification of stochastic spiking neural P systems
- Languages generated by numerical P systems with thresholds
- A web-based visual simulator for spiking neural P systems
- Spiking neural P systems and their semantics in Haskell
- A key agreement protocol based on spiking neural P systems with anti-spikes
- Formal verification of cP systems using Coq
- Dynamic threshold P systems with delay on synapses for shortest path problems
- A software tool for verification of spiking neural P systems
- Matrix representation and simulation algorithm of numerical spiking neural P systems
- Computing the Maximum Bisimulation with Spiking Neural P Systems
Uses Software
This page was built for publication: Spiking neural P systems: matrix representation and formal verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1983014)
