Spiking neural P systems: matrix representation and formal verification

DOI10.1007/S41965-021-00075-1MaRDI QIDQ1983014zbMATHOpenAlexFDO

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

zbMATH Keywords

membrane computingPetri netsformal verificationkernel P-systemskPWorkbenchspiking neural P-systems

Mathematics Subject Classification ID

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)

Recommendations

• On spiking neural P systems
• A software tool for verification of spiking neural P systems
• Matrix representation of spiking neural P systems
• Automated verification of stochastic spiking neural P systems
• Spiking neural P systems: theoretical results and applications

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• 3-Col problem modelling using simple kernel P systems
• A Formal Framework for Static (Tissue) P Systems
• A formal framework for spiking neural P systems
• A survey on temporal logics for specifying and verifying real-time systems
• An integrated model checking toolset for kernel P systems
• An interval logic for natural language semantics
• Computing with membranes
• Conventional verification for unconventional computing: a genetic XOR gate example
• Dual P Systems
• Generalized communicating P systems
• Kernel P systems modelling, testing and verification -- sorting case study
• Kernel P systems: from modelling to verification and testing
• Matrix representation of spiking neural P systems
• Membrane computing. An introduction.
• Model-checking of correctness conditions for concurrent objects
• Modelling and validating an engineering application in kernel P systems
• On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
• On reversibility and determinism in P systems
• Reversible P systems to simulate Fredkin circuits
• Reversing computation in membrane systems
• Spiking neural P systems
• Towards light-weight probabilistic model checking

Cited in

(10)

• Spiking neural P systems and their semantics in Haskell
• Languages generated by numerical P systems with thresholds
• A software tool for verification of spiking neural P systems
• Dynamic threshold P systems with delay on synapses for shortest path problems
• A key agreement protocol based on spiking neural P systems with anti-spikes
• Matrix representation and simulation algorithm of numerical spiking neural P systems
• A web-based visual simulator for spiking neural P systems
• Computing the Maximum Bisimulation with Spiking Neural P Systems
• Automated verification of stochastic spiking neural P systems
• Formal verification of cP systems using Coq

Describes a project that uses

Uses Software

• SPIN
• NuSMV
• kPWorkbench
• CuSNP
• GitHub

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)