Bakir, M.E.Ipate, F.Konur, SavasMierla, L.M.Niculescu, I.M.2016-11-232016-11-232014Bakir ME, Ipate F, Konur S et al (2014) Extended simulation and verification platform for kernel P systems. In: Gheorghe M, Rozenberg G, Salomaa A et al (Eds) Membrane Computing. Lecture Notes in Computer Science. Vol 8961. Cham, Switzerland: Springer: 158-178.http://hdl.handle.net/10454/10599NoKernel P systems integrate in a coherent and elegant manner many of the features of different P system variants, successfully used for modelling various applications. In this paper, we present our initial attempt to extend the software framework developed to support kernel P systems: a formal verification tool based on the NuSMV model checker and a large scale simulation environment based on FLAME. The use of these two tools for modelling and analysis of biological systems is illustrated with a synthetic biology example.enKernel P systemskP systemsVerification platformSimulationBook chapterhttps://doi.org/10.1007/978-3-319-14370-5_10