Test generation from P systems using model checking
DOI10.1016/J.JLAP.2010.03.007zbMATH Open1208.68146OpenAlexW2011118910MaRDI QIDQ987969FDOQ987969
Authors: Florentin Ipate, Marian Gheorghe, Raluca Lefticaru 
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
Recommendations
- scientific article; zbMATH DE number 2102699
- Formal Verification and Testing Based on P Systems
- Model Checking Using Generalized Testing Automata
- Finite state based testing of P systems
- Test generation from integrated system models capturing state-based and MSC-based notations
- Towards deriving test sequences by model checking
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- NuSMV: A new symbolic model checker
- An overview of P-Lingua 2.0
- Computing with membranes
- Membrane computing. An introduction.
- Title not available (Why is that?)
- The temporal semantics of concurrent programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interpolants and Symbolic Model Checking
- Title not available (Why is that?)
- Finite state based testing of P systems
- Testing Non-deterministic Stream X-machine Models and P systems
- On Testing P Systems
- On the decidability of model-checking for P systems
Cited In (14)
- Search-based testing in membrane computing
- An empirical evaluation of P system testing techniques
- Towards a general methodology for formal verification on spiking neural P systems
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Formal verification of cP systems using Coq
- A model learning based testing approach for kernel P systems
- Finite state based testing of P systems
- Formal verification of cP systems using PAT3 and ProB
- 3-Col problem modelling using simple kernel P systems
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
- Formal Verification of P Systems with Active Membranes through Model Checking
- Robust Test Generation and Coverage for Hybrid Systems
- On Testing P Systems
- Model Checking Using Generalized Testing Automata
Uses Software
This page was built for publication: Test generation from P systems using model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987969)
