-
Laboratory
The laboratory was formed in 1999 with the aim of intensifying
the basic and applied research in the area of parallel and
distributed systems. The mainspring of research in ParaDiSe is the
application of theories which underlie, or should in future
underlie, the specification, modelling, analysis, and verification
of parallel and distributed systems. The objective is to bridge the
gap between academics and industry by promoting theory formation in
the academic sense on the major issues of the selected industrial
areas, and establish an academic interest in these issues, and by
exploiting academically well-founded formal methods. We want to
come-up with practical solutions in theory and tooling for needs
found in current and innovative development projects in industry.
-
Themes
Research in ParaDiSe is organised under themes. The current research theme is
Algorithms and Tools for Practical Verification of Concurrent Systems
focusing on the development of new original methods and techniques for the automated verification of large-scale parallel and distributed systems, with emphasis on practical aspects of their application, and applying these and other already known methods and techniques to real-life systems, optimizing these techniques to make them sufficiently efficient, and providing software support to use them.