Formal verification of cP systems using PAT3 and ProB

DOI10.1007/s41965-020-00036-0zbMath1469.68046MaRDI QIDQ1982961

Radu Nicolescu, Jing Sun, Yezhou Liu

Publication date: 14 September 2021

Published in: Journal of Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s41965-020-00036-0

zbMATH Keywords

formal verification; model checking; P-systems; subset sum problem; cP-systems

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q07: Biologically inspired models of computation (DNA computing, membrane computing, etc.)

Uses Software

• ProB
• PAT
• P-Lingua