Papers
Containers for specification in SPARK
Investing in SPARK: Formal methods for automotive functional safety
MISSION CRITICAL RUST: Managing Memory
Security by Default - CHERI ISA Extensions coupled with a security-enhanced Ada runtime
Memory Safety in Ada, SPARK, and Rust
Should I choose Ada, SPARK, or Rust over C/C++?
Elevate Security Confidence with Memory Safe Hardware and Software
Co-Developing Programs and Their Proof of Correctness
Application of SMT in a Meta-Complier
Interview with AdaCore's Space Systems Software Expert, Eric Perlade
NVIDIA: Using RecordFlux and SPARK to Implement SPDM for Secure Computing
