Output details
11 - Computer Science and Informatics
University of Edinburgh
Return to search
Output 0 of 0 in the submission
Output title
Abstract Interpretation of Cellular Signalling Networks
Type
E - Conference contribution
Name of conference/published proceedings
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Volume number
4905
Issue number
-
First page of article
83
ISSN of proceedings
0302-9743
Year of publication
2008
Number of additional authors
3
Additional information
<28> Originality: This paper proposes a method to solve reachability questions in rule-based models.
Significance: This paper shows that substantial models verify a stated syntactic condition (up to suitable transformations). It illustrates on a sizeable example a method to explore the set of complexes that can be generated from a rule-based model. This is useful to debug realistic large-scale rule-based models.
Rigour: Solving reachability questions is done via the construction of a finite abstract interpretation which yields a tractable superset of reachable states. A simple criterion for this superset to be exact is given, as well as sufficient syntactic conditions.
Interdisciplinary
Yes
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
28
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
