Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework

Dirk Beyer, Heike Wehrheim

The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers prov…