ParaDiSe - Parallel & Distributed Systems Laboratory

  • ParaDiSe Laboratory Celebrates 10th Anniversary

    pdmc.cz

  • Laboratory

    The laboratory aims at 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 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.
  • Members

  • Current topics

    • DiVinE - The Distributed Verification Environment
    • Decomposition of Verification Problems
    • Distributed Verification of Finite-State Probabilistic Systems
    • Verification of Component-Based Systems (CoIn)
    • I/O Efficient Algorithms for Verification
    • Escheria Coli Modelling and Analysis (EC-MOAN)
  • ParaDiSe Seminar
  • PDMC.CZ - Czech Portal for Parallel Verification pdmc.cz
  • DiVinE
  • BEEM: BEnchmarks for Explicit Model checkers
  • The Database of Verification Tools Yahoda - Verification Tools Database
  • Grants
  • How to get to ParaDiSe
  • A student's guide to ParaDiSe
  • The Story of Bird
  • Local Information (authenticated)

  • Sixth Framework Programme Projects IST

    • ARTIST2 NoE - Testing and Verification Platform
    • EC-MOAN - Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior

  • Contact

    Faculty of Informatics / ParaDiSe
    Botanicka 68a
    Brno, Czech Republic
    Phone: +420 549 491 869
    www.fi.muni.cz/paradise
    Room C408