The Laboratory for Parallel and Distributed Systems (ParaDiSe)
Contact: prof. RNDr. Jiří Barnat, Ph.D.
The Laboratory for Parallel and Distributed Systems (ParaDiSe) aims at intensifying the basic and applied research in the area of concurrent, 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 these systems. The current focus is on techniques and tools for automated verification of concurrent software systems.