Séminaire des équipes-projets
Formal Experiments in Computational Biochemistry
- Date : 27/07/2012
- Lieu : Inria Rocquencourt, Amphi A. Turing, Bâtiment 1
- Intervenants : Christopher Banks, Université d'Edimbourgh, UK
- Organisateurs : Equipe-projet Contraintes
In this talk I will present my logic of formal experiments. The logic has two layers: temporal logic for classifying behaviour of a system and a contextual operator which classifies behaviour in a given context. The contextual operator is similar to the guarantee operator from spatial logic, allows the introduction of new species into the system, and nests within the temporal modalities to express complex behaviour.
The logic is supported by efficient model checking and tool support and is built into my interpreter for the continuous pi-calculus (cpi), a continuous state-space process algebra for biochemical systems. I will also give an overview of cpi and some of examples of the application of the logic to cpi processes.