An Integrated Approach to P Systems Formal Verification

DOI10.1007/978-3-642-18123-8_18zbMath1259.68060OpenAlexW1713535472MaRDI QIDQ3067494

Raluca Lefticaru, Marian Gheorghe, Florentin Ipate, Ciprian Dragomir

Publication date: 21 January 2011

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

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

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)

Programmable and parallel water computing ⋮ Towards light-weight probabilistic model checking

Uses Software

• NuSMV

This page was built for publication: An Integrated Approach to P Systems Formal Verification