The laboratory aims at intensifying the basic and applied research in the area of parallel and distributed methods for the specification, modelling, analysis, and verification of parallel and distributed systems. The mainspring of the research is the development and application of theories which underlie mentioned system development activities. The objective is to bridge the gap between academics and industry by exploiting academically well-founded formal methods and by promoting theory formation in the academic sense on the major issues of selected industrial areas. We want to come-up with practical solutions and tooling to address the needs found in current and innovative development industry projects.


Research in ParaDiSe is organised under themes. The current research theme is
Algorithms and Tools for Formal Verification and Analysis of Computer Systems
focusing on the development of new original methods and techniques for the automated verification and analysis of large-scale computer 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.


Faculty of Informatics / ParaDiSe
Botanicka 68a
Brno, Czech Republic
Phone: +420 549 491 869
Room A416
e-mail: paradise (at)