Software verification of biomolecular systems

被引：0

作者：

Ciobanu, G ^{[1
]}

机构：

[1] Romanian Acad, Inst Comp Sci, Iasi, Romania

来源：

MODELLING IN MOLECULAR BIOLOGY | 2004年

关键词：

process algebra; pi-calculus; model checking; temporal logic;

D O I：

暂无

中图分类号：

Q5 [生物化学];

学科分类号：

071010 ; 081704 ;

摘要：

This chapter describes the kinetics of the sodium-potassium exchange pump in terms of the pi-calculus process algebra. The pi-calculus has the advantage of a software verification tool. We emphasize that this software tool is able to check various properties and to provide confidence in the formal description of the pump. This model checker is used to verify that our model of the pump is deadlock free. It is also used to prove that a detailed description with a large number of states has the same behaviour with a model with a smaller number of states. This simpler model can become a part of a larger system, and in this way we get a scalable and compositional abstraction for biomolecular systems.

引用

页码：39 / 57

页数：19