kPWorkbench

MaRDI QIDQ31479swMATHFDO

Official website http://kpworkbench.org

Cited in

(9)

• Spiking neural P systems: matrix representation and formal verification
• Agent-based simulation of kernel P systems with division rules using FLAME
• Formal verification of cP systems using Coq
• G-Hadoop
• MeCoSim
• FLAME
• CheCL
• CuSNP
• An integrated model checking toolset for kernel P systems

This page was built for software: kPWorkbench