Tag Archive | tool
Paper accepted
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
Paper accepted
Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.
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.