Kernel P systems: from modelling to verification and testing

DOI10.1016/J.TCS.2017.12.010MaRDI QIDQ2413314zbMATH OpenOpenAlexFDO

Authors Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru, Marian Gheorghe

Publication date 10 April 2018

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

Full work available at URL http://hdl.handle.net/10454/11720

zbMATH Keywords

modellingtestingmodel checkingsortingkernel P systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Kernel P systems modelling, testing and verification -- sorting case study
• Model Checking Kernel P Systems
• An integrated model checking toolset for kernel P systems
• A model learning based testing approach for kernel P systems
• Modelling and validating an engineering application in kernel P systems
• Formal models of operating system kernels
• A kernel P systems survey

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1951581 (Why is no real title available?)
• scientific article; zbMATH DE number 1962773 (Why is no real title available?)
• scientific article; zbMATH DE number 2013802 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 1452982 (Why is no real title available?)
• 3-Col problem modelling using simple kernel P systems
• A P-Lingua based simulator for P systems with symport/antiport rules
• A static sorting algorithm for \(P\) sytems with mobile catalysts
• An integrated model checking toolset for kernel P systems
• Bounded sequence testing from deterministic finite state machines
• Computing with membranes
• Finite state based testing of P systems
• Implementing sorting networks with spiking neural P systems
• Membrane computing. An introduction.
• Minimal cover-automata for finite languages
• Model Checking Kernel P Systems
• On Testing P Systems
• Polarizationless P systems with active membranes: computational complexity aspects
• RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
• Recent complexity-theoretic results on P systems with active membranes
• Simulating the Bitonic Sort Using P Systems
• Some classes of generalised communicating P systems and simple kernel P systems
• Testing Software Design Modeled by Finite-State Machines

Cited in

(14)

• 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?)
• Spiking neural P systems: matrix representation and formal verification
• Search-based testing in membrane computing
• Translating Xd-C programs to MSVL programs
• 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
• Weighted spiking neural P systems with polarizations and anti-spikes
• Model Checking Kernel P Systems
• An integrated model checking toolset for kernel P systems

Describes a project that uses

Uses Software

• NuSMV
• SPIN

This page was built for publication: Kernel P systems: from modelling to verification and testing

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