About us

We are interested in formal techniques for the correct construction and the quality design of systems.
We are particularly interested in developing and applying automated techniques such as model checking, static and dynamic analysis and correctness by construction to open dependability and security problems over the whole systems' lifecycle.
Present and past research has focused on service systems modelling, security verification and model repair.

  • News - Announcements
Home | Projects | Publications | Partners | Related Links | News | People | Contact copyright � 2012 DSG group