Publisher
Springer International Publishing
Reference21 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, 147:1–147:30 (2019). https://doi.org/10.1145/3360573
2. Lecture Notes in Computer Science;C Barrett,2011
3. Baudin, P., et al.: ACSL: ANSI/ISO C Specification Language, version 1.16 (2020), https://frama-c.com/html/acsl.html
4. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Let’s verify this with Why3. Int. J. Softw. Tools Technol. Transfer 17(6), 709–727 (2014). https://doi.org/10.1007/s10009-014-0314-5
5. Cok, D.R.: OpenJML: software verification for java 7 using JML, OpenJDK, and Eclipse. Formal Integr. Dev. Env. 149, 79–92 (2014). https://doi.org/10.4204/EPTCS.149.8
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking;Lecture Notes in Computer Science;2024-09-13
2. Sound Borrow-Checking for Rust via Symbolic Semantics;Proceedings of the ACM on Programming Languages;2024-08-15
3. How We Built Cedar: A Verification-Guided Approach;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
4. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language;Proceedings of the ACM on Programming Languages;2024-06-20
5. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27