The BToolkit, a toolkit supporting software development with the B-method. - View it on GitHub