From B Specifications to $\log$\$ Forgrams
<|reference_start|>From B Specifications to $\log$\$ Forgrams: 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.<|reference_end|>
@article{cristiá2024from,
    title={From B Specifications to $\{log$\}$ Forgrams},
    author={Maximiliano Cristi'a},
    journal={arXiv preprint arXiv:2407.03283},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.03283},
    primaryClass={cs.SE}
}