Verissimo can be invoked in GUI mode by running:
$DVT_HOME/bin/dvt_sv_lint_gui.sh ...
Main Use Cases
Run a specific ruleset
dvt_sv_lint_gui.sh -workspace ~/tmp/my_workspace -projectpath ~/tmp/my_project -cmd my_compile.args -force -start_linting
Arguments