AdaCore (France)

Recent papers from AdaCore (France)

1. Reasoning About Subprogram Termination in SPARKACM SIGAda Ada Letters · 2025
2. Big Integers for Cryptography in SPARKACM SIGAda Ada Letters · 2025
3. A Certifiable Approach to Multicore Using Ada2026
4. Secure by Design Principles - Fuzzing in a Memory Safe Verification Environment2026
5. Co-Developing Programs and Their Proof of CorrectnessCommunications of the ACM · 2024
6. Automatic Test Value Generation for AdaACM SIGAda Ada Letters · 2023
7. Proving the Correctness of GNAT Light Runtime LibraryACM SIGAda Ada Letters · 2022
8. How the Analyzer can Help the User Help the AnalyzerElectronic Proceedings in Theoretical Computer Science · 2021
9. A ‘Landscape physiology’ approach for assessing bee health highlights the benefits of floral landscape enrichment and semi-natural habitatsScientific Reports · 2017
10. Testing or Formal Verification: DO-178C Alternatives and Industrial ExperienceIEEE Software · 2013