Various Notebooks for Teaching

These notebooks are made for the ProB Jupyter kernel. ProB is a validation tool for formal methods, in particular for the B method. At its heart is a constraint solver for logic, set theory and arithmetic.

These notebooks were developed by the STUPS group of the University of Düsseldorf.

To view the formatted output of ProB you may have to click in the upper right corner on "Not Trusted". Once a notebook is trusted, JavaScript is enabled and can render formulas, tables and figures.