VisB Visualization Examples

What is VisB?

VisB is a visualization tool in ProB2-UI to create domain-specific visualisations.

Setting up VisB

You will need to download a recent version of ProB2-UI.

Domain-specific HTML Applications

HTML Applications generated from B2Program are availalbe at https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples/-/tree/master/B2Program

Usage of B2Program to generate domain-specific HTML applications is described in https://github.com/favu100/b2program

Remark: It might be required to deactivate CORS Policy