DEIS-MCC, a Model Checking Cluster

    Facility: Equipment

      Description

      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) (pgj@cs.aau.dk), Jiri Srba (srba@cs.aau.dk) and Kim G. Larsen (kgl@cs.aau.dk).

      Fingerprint

      Model checking
      Data storage equipment