Personal tools
You are here: Home Events Stephen Gilmore

Stephen Gilmore

On Verifying Bio-PEPA Models


Bio-PEPA is a process algebra developed in the LFCS and the Centre for Systems Biology at Edinburgh. It is used to model biological processes in the cell. In this talk I will report on using Bio-PEPA together with the Traviando trace analyser to validate Bio-PEPA models. The Bio-PEPA Eclipse Plugin has been extended with an implementation of an algorithm to compute invariants of a model and a new simulator which is able to generate traces which can be analysed using the Traviando trace analyser. Together we have used these to find bugs in published biological models and to suggest better methods of analysis for others.
This is joint work with Allan Clark, Jane Hillston, Maria Luisa Guerriero (Edinburgh) and Peter Kemper (College of William and Mary).

Document Actions