COMICS

At a Glance

Applications	Counterexample Generator
Developers	RWTH Aachen

COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for discrete-time Markov Chains (DTMCs).