DEIS-MCC

This repo contains the documentation of DEIS-MCC (Model Checking Cluster). Please report bugs directly to this repository as GitHub issues.

If you would like access and do not already have, contact Falke.

Getting started

When you have received access, follow these steps to get acquainted with the cluster:

1. Understand the rules: House rules

2. Configure SSH to connect to MCC: Setup guide

3. Run your first workload: Simple usage

Contents

• House rules
• Setup guide
• Simple usage
• Advanced use
• Cheatsheet
• Singularity virtualisation
  • Container registry for premade and validated containers to use and expand
• Nodes table for information on our available nodes
• Known issues for solutions to known issues