Skip to content

Verification of Behavioural Equivalences for Reaction Systems (Maciej Koutny)

Reaction systems are a formal model for processes inspired by the functioning of the living cell. The underlying idea of this model is that the functioning of the living cell is determined by the interactions of biochemical reactions, and these interactions are based on the mechanisms of facilitation and inhibition. This project will investigate various notions of behavioural equivalence for reaction systems, aiming at the development of new efficient verification techniques for such notions.