dixonary / duvet

A comparative checking framework for VASS coverability solvers.

Duvet: A Petri Net Coverability Checking Framework

This tool allows you to perform coverability checking uniformly across a variety of different checkers and implementations.