COMICS 1.0

We released the tool COMICS 1.0, which addresses the computation of small critical subsystems as counterexamples for probabilistic systems. The tool was developed within the CEBug project.