Maybe this website is out of date.
Please visit the current version.
University of Konstanz
Chair for Software Engineering
Prof. Dr. Stefan Leue

Formal Modeling and Validation of Distributed, Object-Oriented Systems

This compendium presents articles on case studies in the modeling of distributed, object-oriented systems, using various modeling languages and tools. We also make the source code for the presented models available, where possible.


GIOP Promela

Related Links


Distributed Systems, CORBA, General Inter-ORB Protocol (GIOP), Middleware, Protocol Specification and Validation, Model Checking, Promela, Spin, Temporal Logic, Specification Patterns.