DEIS-MCC, a Model Checking Cluster

    Facility: Equipment

      Equipments Details


      The DEIS-MCC is a research compute-cluster specifically targeted model based methods.

      The clusters primary use is experimental validation of theoretical results within model-checking, validation, synthesis, learning and optimization.

      The cluster is constructed primarily with general-purpose, distributed and parallel, memory-intensive computations in mind.

      The cluster is configured specifically for experimental repeatability and stability.

      Contacts: Peter G. Jensen (primary) (, Jiri Srba ( and Kim G. Larsen (


      Explore the research areas in which this equipment has been used. These labels are generated based on the related outputs. Together they form a unique fingerprint.