Author:
Dross Claire,Kanig Johannes
Publisher
Springer International Publishing
Reference11 articles.
1. Astrauskas, V., Müller, P., Poli, F., Summers, A.J.: Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3(OOPSLA), 147:1–147:30 (2019)
2. Barnes, J.: Programming in Ada 2012. Cambridge University Press, Cambridge (2014)
3. Lecture Notes in Computer Science;S Blom,2017
4. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Why3: shepherd your herd of provers (2011)
5. Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: ACM SIGPLAN Notices, vol. 33, no. 10, pp. 48–64 (1998)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HOL4P4: Mechanized Small-Step Semantics for P4;Proceedings of the ACM on Programming Languages;2024-04-29
2. Towards Formal Verification of a TPM Software Stack;iFM 2023;2023-11-06
3. Containers for Specification in SPARK;ACM SIGAda Ada Letters;2023-04-05
4. Layered Formal Verification of a TCP Stack;2021 IEEE Secure Development Conference (SecDev);2021-10
5. Permission-Based Verification of Red-Black Trees and Their Merging;2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE);2021-05