Advanced modeling and SPecification
of distributed InfoRmation systEms

Final report.

A project of the Logic and Computation Group.

Participation in the ESPRIT IV Working Group 22704 ASPIRE coordinated by Hans-Dieter Ehrich (University of Braunschweig) on foundations of specification and development of widely distributed information systems.

The IST Group worked on logical techniques for specification and verification, using the GNOME language. The emphasis was on distribution issues, model checking and defaults, within both temporal logic and the situation calculus. Other interests included mechanisms for combining logics, specification and verification of probabilistic hybrid systems, observational logic, and type theory of concurrent objects.

For relevant publications, you can browse the repository of publications of the Logic and Computation Group.

Last update: May 19, 2000.