The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

Infinite state model checking in modal logic

Goranko, V (Witwatersrand)
Friday 17 March 2006, 11:00-12:00

Seminar Room 1, Newton Institute

Abstract

In this talk will discuss why model checking of basic modal logic and extensions of it on infinite state systems is interesting and important. In particular, I will present the case of model checking on `rational Kripke models' and its possible applications to regular model checking. Time permitting, I will also discuss how minimal extensions of basic modal logic can be used to specify and verify reachability problems in infinite state transition systems.

Presentation

[pdf ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧