从B规范转换到{log}格式图
软件工程
2024-07-04 v1
摘要
在本节课笔记中，学生可以学习如何将B规范转换为{log}格式图，如何执行这些格式图，以及如何证明它们验证某些属性。
引用
@article{arxiv.2407.03283,
title = {From B Specifications to $\{log$\}$ Forgrams},
author = {Maximiliano Cristiá},
journal= {arXiv preprint arXiv:2407.03283},
year = {2024}
}
备注
arXiv admin note: substantial text overlap with arXiv:2103.14933