Cooperative Verification via
Conditional Model Checking

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim

Author generated PDF

Abstract

Results

Reproducing Results

Prerequisites

Environmental Setup

Tutorial Example

Repeating our Experiments