@@ -7,3 +7,9 @@ VisB is a visualization tool in ProB2-UI to create domain-specific visualisation
## Setting up VisB
You will need to download a recent version of [ProB2-UI](https://www3.hhu.de/stups/prob/index.php/Download#ProB2_UI_using_Java_FX).
## Domain-specific HTML Applications
HTML Applications generated from [B2Program](https://github.com/favu100/b2program) are availalbe at https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples/-/tree/master/B2Program
Usage of [B2Program](https://github.com/favu100/b2program) to generate domain-specific HTML applications is described in https://github.com/favu100/b2program
