FORMAL VERIFICATION OF P SYSTEMS USING SPIN

DOI10.1142/S0129054111007897zbMath1213.68273OpenAlexW2093659328MaRDI QIDQ3076605

Raluca Lefticaru, Florentin Ipate, Cristina Tudose

Publication date: 23 February 2011

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054111007897

zbMATH Keywords

model checkingKripke structuresSpinP systemsNuSMVPromela

Mathematics Subject Classification ID

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

Related Items (7)

Formal Verification of P Systems with Active Membranes through Model Checking ⋮ Formal verification of cP systems using Coq ⋮ A model learning based testing approach for kernel P systems ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ 3-Col problem modelling using simple kernel P systems

Uses Software

• SPIN
• PROMELA
• jSpin

Cites Work

• Unnamed Item
• Test generation from P systems using model checking
• Computing with membranes
• NuSMV: A new symbolic model checker
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers

This page was built for publication: FORMAL VERIFICATION OF P SYSTEMS USING SPIN