Model checking is a formal technique used to verify hardware /
software systems. It checks if a certain system satisfies a
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.