An integrated approach to P systems formal verification

DOI10.1007/978-3-642-18123-8_18MaRDI QIDQ3067494zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Towards light-weight probabilistic model checking
• Programmable and parallel water computing
• 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
• scientific article; zbMATH DE number 2080050 (Why is no real title available?)
• An integrated model checking toolset for kernel P systems

Describes a project that uses

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)