| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423183 | Electronic Notes in Theoretical Computer Science | 2009 | 17 Pages |
Abstract
We introduce a Control Flow Analysis for Brane Calculi. This verification technique allows properties regarding the behaviour of biological systems to be checked. This is an approximate technique that focusses on the static specification of a system, rather than on its dynamics, striving for effectiveness. Examples illustrate the approach.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
