Return to search

Extended simulation and verification platform for kernel P systems

No / Kernel 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.

Identiferoai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/10599
Date January 2014
CreatorsBakir, M.E., Ipate, F., Konur, Savas, Mierla, L.M., Niculescu, I.M.
Source SetsBradford Scholars
LanguageEnglish
Detected LanguageEnglish
TypeBook chapter, No full-text in the repository

Page generated in 0.0019 seconds