An integrated approach to P systems formal verification

DOI10.1007/978-3-642-18123-8_18zbMATH Open1259.68060OpenAlexW1713535472MaRDI QIDQ3067494FDOQ3067494

Authors: Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, 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

Recommendations

• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• Formal verification of P systems with active membranes through model checking
• Formal verification of cP systems using Coq
• Formal verification of cP systems using PAT3 and ProB
• Testing based on identifiable P systems using cover automata and X-machines

Mathematics Subject Classification ID

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

Cited In (9)

• Programmable and parallel water computing
• Towards light-weight probabilistic model checking
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• Formal verification of P systems with active membranes through model checking
• Formal verification of cP systems using Coq
• Formal verification of cP systems using PAT3 and ProB
• Membrane Computing
• Title not available (Why is that?)
• An integrated model checking toolset for kernel P systems

Uses Software

• NuSMV

This page was built for publication: An integrated approach to P systems formal verification

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