Formal verification of cP systems using PAT3 and ProB-Reference-Cited by-同舟云学术

Formal verification of cP systems using PAT3 and ProB

Published:2020-03-26 Issue:2 Volume:2 Page:80-94
ISSN:2523-8906
Container-title:Journal of Membrane Computing
language:en
Short-container-title:J Membr Comput

Author:

Liu Yezhou,Nicolescu Radu,Sun Jing

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Theory and Mathematics

Link

http://link.springer.com/content/pdf/10.1007/s41965-020-00036-0.pdf

Reference41 articles.

1. Aguado, J., Balanescu, T., Cowling, T., Gheorghe, M., Holcombe, M., & Ipate, F. (2002). P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundamenta Informaticae, 49(1–3), 17–33.

2. Aman, B., & Ciobanu, G. (2015). Verification of membrane systems with delays via Petri nets with delays. Theoretical Computer Science, 598, 87–101.

3. Aman, B., & Ciobanu, G. (2016). Modelling and verification of weighted spiking neural systems. Theoretical Computer Science, 623, 92–102.

4. Cooper, J., & Nicolescu, R. (2019). The Hamiltonian cycle and travelling salesman problems in cP systems. Fundamenta Informaticae, 164(2–3), 157–180.

5. Dang, Z., Ibarra, O. H., Li, C., & Xie, G. (2006). On the decidability of model-checking for P systems. Journal of Automata, Languages and Combinatorics, 11(3), 279–298.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sublinear P system solutions to NP-complete problems;Theoretical Computer Science;2023-05

2. Programmable and parallel water computing;Journal of Membrane Computing;2023-02-06

3. cPV – Simulation and Verification for Membrane Computing;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

4. Towards automated deduction in cP systems;Information Sciences;2022-03

5. Formal verification of cP systems using Coq;Journal of Membrane Computing;2021-08-24