Skip to content

Verification of Behavioural Equivalences for Reaction Systems

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 logics and behavioural equivalences capturing the relevant properties for reaction systems, aiming at the development of new efficient verification techniques for such notions.

Supervisors: Maciej Koutny (Computer Science, Newcastle), Victor Khomenko (Computer Science, Newcastle), Barnaby Martin (Computer Science, Durham)