mvolk

ubuntu

Ubuntu is a Debian-based Linux operating system based on free software.

debian

Debian is a Linux distribution that's composed entirely of free and open-source software.

Linux basis for Storm modelchecker

CArL - the Computer ARithmetic and Logic library

Storm - A Modern Probabilistic Model Checker