Test generation from P systems using model checking
From MaRDI portal
Publication:987969
DOI10.1016/j.jlap.2010.03.007zbMath1208.68146OpenAlexW2011118910MaRDI QIDQ987969
Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
Publication date: 24 August 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.007
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
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 ⋮ Search-based testing in membrane computing ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS ⋮ FORMAL VERIFICATION OF P SYSTEMS USING SPIN ⋮ 3-Col problem modelling using simple kernel P systems
Uses Software
Cites Work
- The temporal semantics of concurrent programs
- Computing with membranes
- NuSMV: A new symbolic model checker
- Membrane computing. An introduction.
- Finite state based testing of P systems
- Testing Non-deterministic Stream X-machine Models and P systems
- On Testing P Systems
- Interpolants and Symbolic Model Checking
- An Overview of P-Lingua 2.0
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Test generation from P systems using model checking
