Model checking
Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Membrane Computing
Defining and Executing P Systems with Structured Data in K
Membrane Computing
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
On the decidability of model-checking for P systems
Journal of Automata, Languages and Combinatorics
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing based on P systems - an overview
CMC'10 Proceedings of the 11th international conference on Membrane computing
Hi-index | 0.00 |
This paper presents a method to formally verify P system specifications by first identifying invariants and then checking them, using the NuSMV model checker, against a Kripke structure representation. The method is applied to a basic class of P systems with transformation and communication rules using either maximal parallelism or asynchronous rewriting strategy and for a special variant of P systems with electrical charges, but without active membranes.