SSP Group Meeting

11am, 22 February, 2005
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Model Checking Agent Dialogues

Nardine Osman

Model checking is a formal technique used to verify hardware / software systems.   It checks if a certain system satisfies a certain property. For my Phd, I will be working on model checking agent dialogues. In this talk I will give an introduction to temporal logics and model checking in general, before I move on to describe my work: the aim, the application used, etc.