|
School of Engineering
and Information Sciences
Research
Seminars
(Autumn Term 2009-10)
Abstract
Formal verification of complex and critical systems
Dr
Franco Raimondi
Middlesex University
Abstract
As
technology allows for systems to grow bigger, verification, intended
as the process of verifying that a system satisfies its design requirements,
has to play a central role in any development process to avoid unwanted
behaviours. In this talk I will give an overview of my research
work in this area, including:
1) verification of service level agreements for electronic services
using on-line monitors based on timed automata.
2) verification of planning domains using requirements-based testing.
3) verification of diagnosability, communication and security protocols
using epistemic logic.
|
