Dataset - CKAN

Coverability in a NonFunctional Extension of BVASS

We define Vector Addition with Sates and Split/Join Transitions, a new model that extends VASS and BVASS. We define a suitable notion of covering graph for the model,...
- HTML

You can also access this registry using the API (see API Docs).