Towards a general methodology for formal verification on spiking neural P systems

DOI10.1016/J.TCS.2024.114705MaRDI QIDQ6590079

Luis Valencia-Cabrera, Antonio Ramírez-de-Arellano, David Orellana-Martín, Mario J. Pérez-Jiménez

Publication date: 21 August 2024

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

formal verificationmembrane computingspiking neural P systems

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Theory of computing (68Qxx) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Test generation from P systems using model checking
• Tissue P systems.
• Computing with membranes
• Lifted structural invariant analysis of Petri net product lines
• Spiking neural P systems with rules on synapses
• Simulating and model checking membrane systems using strategies in Maude
• Spiking neural P systems with astrocytes
• Formal Verification of P Systems with Active Membranes through Model Checking
• Model Checking Kernel P Systems
• SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS
• Matrix representation and simulation algorithm of numerical spiking neural P systems
• Inferring inductive invariants from phase structures

This page was built for publication: Towards a general methodology for formal verification on spiking neural P systems

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