Formal verification of cP systems using Coq

[1]  Radu Nicolescu,et al.  An efficient labelled nested multiset unification algorithm , 2021, Journal of Membrane Computing.

[2]  Marian Gheorghe,et al.  Spiking neural P systems: matrix representation and formal verification , 2021, Journal of Membrane Computing.

[3]  Radu Nicolescu,et al.  Solving a PSPACE-complete problem with cP systems , 2020, Journal of Membrane Computing.

[4]  Radu Nicolescu,et al.  Formal verification of cP systems using PAT3 and ProB , 2020, J. Membr. Comput..

[5]  Xavier Leroy,et al.  CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler , 2018 .

[6]  Marian Gheorghe,et al.  Kernel P systems: From modelling to verification and testing , 2017, Theor. Comput. Sci..

[7]  Gabriel Ciobanu,et al.  Modelling and verification of weighted spiking neural systems , 2016, Theor. Comput. Sci..

[8]  Florentin Ipate,et al.  Programming P Systems with Complex Objects , 2013, Int. Conf. on Membrane Computing.

[9]  Jeremy Avigad,et al.  A Machine-Checked Proof of the Odd Order Theorem , 2013, ITP.

[10]  Marian Gheorghe,et al.  3-Col problem modelling using simple kernel P systems , 2013, Int. J. Comput. Math..

[11]  Florentin Ipate,et al.  Formal Verification of P Systems Using Spin , 2011, Int. J. Found. Comput. Sci..

[12]  Christine Paulin-Mohring,et al.  Introduction to the Coq Proof-Assistant for Practical Software Verification , 2011, LASER Summer School.

[13]  Florentin Ipate,et al.  Towards Automated Verification of P Systems Using Spin , 2011, Int. J. Nat. Comput. Res..

[14]  Marian Gheorghe,et al.  Test generation from P systems using model checking , 2010, J. Log. Algebraic Methods Program..

[15]  Oscar H. Ibarra,et al.  On spiking neural P systems , 2006, Natural Computing.

[16]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[17]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[18]  Radu Nicolescu,et al.  A Sublinear Sudoku Solution in cP Systems and its Formal Verification , 2021, Comput. Sci. J. Moldova.

[19]  Florentin Ipate,et al.  kPWorkbench: A software suit for membrane systems , 2020, SoftwareX.

[20]  Radu Nicolescu,et al.  The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems , 2019, Fundam. Informaticae.

[21]  Radu Nicolescu,et al.  An Introduction to cP Systems , 2018, Enjoying Natural Computing.

[22]  Artiom Alhazov,et al.  Membrane Computing , 2013, Lecture Notes in Computer Science.

[23]  Florentin Ipate,et al.  Kernel P Systems - Version 1 , 2013 .

[24]  Florentin Ipate,et al.  Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems , 2012 .

[25]  Florentin Ipate,et al.  Modeling, Verification and Testing of P Systems Using Rodin and ProB , 2011 .

[26]  Georges Gonthier,et al.  Formal Proof—The Four- Color Theorem , 2008 .

[27]  Oscar H. Ibarra,et al.  On the Decidability of Model-Checking for P Systems , 2006, J. Autom. Lang. Comb..

[28]  Hugo Herbelin,et al.  The Coq proof assistant : reference manual, version 6.1 , 1997 .