in Requirements Engineering
A project of the Logic and Computation Group.
Participation in the ESPRIT IV Working Group 23531 FIREworks coordinated by Mark Ryan (University of Birmingham) on feature-oriented approach to system specification and verification.
The IST Group is mainly working on logical techniques for specification and verification, using the GNOME language. The emphasis is on distribution issues, model checking and defaults, within both temporal logic and the situation calculus. Moreover, recent attention has been given to the semantics of probabilistic and hybrid systems, as well as to the problem of combining different formalisms and logics.
This page is under construction. In due course it will be linked to most relevant publications. Meanwhile you can browse the repository of recent publications of the Logic and Computation Group.
Last update: January 3, 2001.