Can I read Towards Modular Verification of Pathways: Fairness and Assumptions on EtoBox?

Towards Modular Verification of Pathways: Fairness and Assumptions by Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo is a scholarly article available to read on EtoBox.

What is Towards Modular Verification of Pathways: Fairness and Assumptions about?

Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation that properties of interest often concern a rather small portion of the system. As a consequence, reduced models can be constructed which approximate the overall system behaviour thus allowing more efficient verification. Biochemical pathways can be seen as complex concurrent interactive systems. Consequently, verification of their properties is often computationally very expensive and could take advantage of the modular approach. In this paper we report preliminary results on the development of a modular verification framework for biochemical pathways. We view biochemical pathways as concurrent systems of reactions competing for molecular resources. A modular verification technique could be based on reduced models containing only reactions involving molecular resources of interest. For a proper description of the system behaviour we argue that it is essential to consider a suitable notion of fairness, which is a well-established notion in concurren

Author

Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo

Published

2012

Language

EN