From B Specifications to $\{log$\}$ Forgrams
Software Engineering
2024-07-04 v1
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.
Cite
@article{arxiv.2407.03283,
title = {From B Specifications to $\{log$\}$ Forgrams},
author = {Maximiliano Cristiá},
journal= {arXiv preprint arXiv:2407.03283},
year = {2024}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2103.14933