View all research projects

Research project

Modular approach to model based verification

Lead researcher:

Dr Corina Cirstea
Research funder:

EPSRC
Status:

Not active

Staff

Lead researcher

Doctor Corina Cirstea

Dr Corina Cirstea

Associate Professor

Connect with Corina

Email: cc2@ecs.soton.ac.uk

Research outputs

Relating Algebraic and Coalgebraic Logics of Knowledge and Update

Mehrnoosh Sadrzadeh, Corina Cirstea, Wiebe van der Hoek, Michael Wooldridge & Giacomo Bonanno, 2006

Type: conference