Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-14370-5_10 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Kernel (linear algebra),Computation tree logic,Programming language,Model checking,Computer science,Software framework,Synthetic biology,P system,Formal verification | Conference | 8961 |
ISSN | Citations | PageRank |
0302-9743 | 4 | 0.52 |
References | Authors | |
7 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mehmet E. Bakir | 1 | 12 | 3.77 |
Florentin Ipate | 2 | 419 | 43.20 |
Savas Konur | 3 | 131 | 13.40 |
Laurentiu Mierla | 4 | 35 | 3.64 |
Ionut-Mihai Niculescu | 5 | 9 | 1.34 |