Formal Verification of P Systems with Active Membranes through Model Checking

DOI10.1007/978-3-642-28024-5_15zbMath1350.68106OpenAlexW44559320MaRDI QIDQ2890294

Cristina Tudose, Florentin Ipate, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Raluca Lefticaru

Publication date: 8 June 2012

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28024-5_15

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A model learning based testing approach for kernel P systems ⋮ 3-Col problem modelling using simple kernel P systems

Uses Software

• SPIN
• jSpin
• P-Lingua

Cites Work

• Test generation from P systems using model checking
• Complexity classes in models of cellular computing with membranes
• Solving the subset-problem by P systems with active membrans
• A fast \(P\) system for finding a balanced 2-partition
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• A Hybrid Approach to Modeling Biological Systems
• A Logarithmic Bound for Solving Subset Sum with P Systems
• Unconventional Computation
• Membrane Computing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Verification of P Systems with Active Membranes through Model Checking