Abstract
This paper concerns the application of formal methods to biological systems, modeled specifically in BioAmbients [34], a variant of the Mobile Ambients [4] calculus. Following the semantic-based approach of abstract interpretation, we define a new static analysis that computes an abstract transition system. Our analysis has two main advantages with respect to the analyses appearing in literature: (i) it is able to address temporal properties which are more general than invariant properties; (ii) it supports, by means of a particular labeling discipline, the validation of systems where several copies of an ambient may appear. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Gori, R., & Levi, F. (2006). An analysis for proving temporal properties of biological systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4279 LNCS, pp. 234–252). Springer Verlag. https://doi.org/10.1007/11924661_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
