cPV – Simulation and Verification for Membrane Computing

Yezhou Liu, Jing Sun, Radu Nicolescu, Hai Wang

Research output: Chapter in Book/Published conference outputConference publication

Abstract

As a newly proposed computational paradigm of membrane computing, cP systems are used to solve several NPcomplete and PSPACE-complete problems in linear or sub-linear time theoretically. Most cP systems proposed in previous studies lack of automated verification support. In this paper, we present cPV, the first software implementation for cP system simulation and verification. cPV offers multiple features, which include modelling, simulation, automated verification of properties such as absence of deadlock, confluence, termination, determinism, and goal reachability. As an extensible framework, modules in cPV
are loosely coupled, where new verification algorithms, reduction techniques, and property specifications can be easily extended. To evaluate cPV, we constructed two benchmark datasets that cover several important aspects of cP systems. The experimental results demonstrated effective automatic verification support to the membrane computing problem domain.
Original languageEnglish
Title of host publication Proceedings of the 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
PublisherIEEE
Pages606-615
Number of pages10
DOIs
Publication statusPublished - 5 Dec 2022
Event2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) - Guangzhou, China
Duration: 5 Dec 20229 Dec 2022

Conference

Conference2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
Period5/12/229/12/22

Fingerprint

Dive into the research topics of 'cPV – Simulation and Verification for Membrane Computing'. Together they form a unique fingerprint.

Cite this