refchecker online with Winfy

We have hosted the application refchecker in order to run this application in our online workstations with Wine or directly.

Quick description about refchecker:

RefChecker is a model checker for systems with a dynamic structure, such as e.g. Object Petri Nets.

Audience: Developers.

Programming Language: C++, Python.

.