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 isAlgorithms and Tools for Practical Verification of Concurrent Systems
Current Projects
Contact
- Faculty of Informatics / ParaDiSe
Botanicka 68s
Brno, Czech Republic
- www.fi.muni.cz/paradise
- paradise@fi.muni.cz
Publications
DiVinE
Local Information
News
Grants
Administration
Poslední aktualizace 2005-09-20 19:32, webmaster(at)fi.muni.cz
hnus@fi.muni.cz