A Model Checker for AADL

artículo científico publicado en 2010

Accelerating Parametric Probabilistic Verification

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

Counterexamples for Expected Rewards

DTMC Model Checking by SCC Reduction

Hierarchical Counterexamples for Discrete-Time Markov Chains

High-Level Counterexamples for Probabilistic Automata

High-level Counterexamples for Probabilistic Automata

Minimal Critical Subsystems for Discrete-Time Markov Models

Minimal counterexamples for linear-time probabilistic verification

Solving dependency quantified Boolean formulas using quantifier localization

scientific article published in 2022

Symbolic Counterexample Generation for Discrete-Time Markov Chains

article published in 2013

Symbolic counterexample generation for large discrete-time Markov chains

The COMICS Tool – Computing Minimal Counterexamples for DTMCs