Formal verification of cP systems using Coq
From MaRDI portal
Publication:2152300
DOI10.1007/s41965-021-00080-4zbMath1490.68100MaRDI QIDQ2152300
Radu Nicolescu, Jing Sun, Yezhou Liu
Publication date: 7 July 2022
Published in: Journal of Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s41965-021-00080-4
68V20: Formalization of mathematics in connection with theorem provers
68Q07: Biologically inspired models of computation (DNA computing, membrane computing, etc.)
Uses Software