Michael Leuschel
Features of ProB2-UI, the user interface for the ProB animator, model checker and constraint solver
Tutorials
If not referenced otherwise this video "ProB2-UI Overview" is licensed under a Creative Commons Attribution 3.0 Germany License, HHU/Michael Leuschel.