From B Specifications to \}$ Forgrams
arXiv:2407.03283
Abstract
In this class notes students can learn how B specifications can be translated into \}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.
arXiv admin note: substantial text overlap with arXiv:2103.14933