Publisher
Springer International Publishing
Reference39 articles.
1. Boogie (release).
https://www.nuget.org/packages/Boogie
2. Boogie (source code).
https://github.com/boogie-org/boogie
3. Abrial, J.: The B-Book: Assigning Programs to Meanings (1996).
https://doi.org/10.1017/CBO9780511624162
4. Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6) (2010).
https://doi.org/10.1007/s10009-010-0145-y
5. Back, R., von Wright, J.: Refinement calculus: a systematic introduction. Graduate Texts Comput. Sci. (1998).
https://doi.org/10.1007/978-1-4612-1674-2
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A concurrent program logic with a future and history;Proceedings of the ACM on Programming Languages;2022-10-31
2. Verifying the safety properties of distributed systems via mergeable parallelism;Journal of Systems Architecture;2022-09
3. C4: verified transactional objects;Proceedings of the ACM on Programming Languages;2022-04-29
4. Embedded Domain Specific Verifiers;Lecture Notes in Computer Science;2022
5. Verifying concurrent multicopy search structures;Proceedings of the ACM on Programming Languages;2021-10-20