Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library-Reference-Cited by-同舟云学术

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library

Published:2023-10-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems
language:
Short-container-title:

Author:

Maiga Aïssata¹,Artho Cyrille¹,Gilcher Florian²,Moy Yannick³

Affiliation:

1. KTH Royal Institute of Technology, Stockholm, Sweden

2. Ferrous Systems, Berlin, Germany

3. AdaCore, Paris, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3623503.3623534

Reference30 articles.

1. [n. d.]. Rust Programming Language. https://www.rust-lang.org/ [n. d.]. Rust Programming Language. https://www.rust-lang.org/

2. 2018. ISO 26262. International Organization for Standardization. https://www.iso.org/standard/68383.html 2018. ISO 26262. International Organization for Standardization. https://www.iso.org/standard/68383.html

3. 2020. Implementation Guidance for the Adoption of SPARK. AdaCore and Thales. https://www.adacore.com/uploads/books/pdf/Spark-Guidance-1.2-web.pdf 2020. Implementation Guidance for the Adoption of SPARK. AdaCore and Thales. https://www.adacore.com/uploads/books/pdf/Spark-Guidance-1.2-web.pdf

4. 2022. bindgen. https://github.com/rust-lang/rust-bindgen 2022. bindgen. https://github.com/rust-lang/rust-bindgen

5. 2022. NSA Releases Guidance on How to Protect Against Software Memory Safety Issues. https://www.nsa.gov/Press-Room/News-Highlights/Article/Article/3215760/nsa-releases-guidance-on-how-to-protect-against-software-memory-safety-issues 2022. NSA Releases Guidance on How to Protect Against Software Memory Safety Issues. https://www.nsa.gov/Press-Room/News-Highlights/Article/Article/3215760/nsa-releases-guidance-on-how-to-protect-against-software-memory-safety-issues