Model Checking Kernel P Systems

DOI10.1007/978-3-642-54239-8_12zbMath1407.68167OpenAlexW251988146MaRDI QIDQ5404850

Florentin Ipate, Ciprian Dragomir, Laurenţiu Mierlă, Savas Konur, Raluca Lefticaru

Publication date: 28 March 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-54239-8_12

Mathematics Subject Classification ID

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

Related Items (3)

Kernel P systems: from modelling to verification and testing ⋮ Comparative Analysis of Statistical Model Checking Tools ⋮ Search-based testing in membrane computing

Uses Software

• PRISM
• SPIN

This page was built for publication: Model Checking Kernel P Systems