From B Specifications to $\{log$\}$ Forgrams

Abstract

In this class notes students can learn how B specifications can be translated into $\{log$\}$ forgrams, how these forgrams can be executed and how they can be proved to verify some properties.

arXiv commentarXiv admin note: substantial text overlap with arXiv:2103.14933