AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification

Documenti analoghi

• Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
  di: Amusuo, Paschal C., et al.
  Pubblicazione: (2025)
• A Unit Proofing Framework for Code-level Verification: A Research Agenda
  di: Amusuo, Paschal C., et al.
  Pubblicazione: (2024)
• Artifact: Learning from software failures: A case study at a national space agency
  di: Anandayuvaraj, Dharun
  Pubblicazione: (2025)
• LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
  di: Tanksalkar, Sai Ritvik, et al.
  Pubblicazione: (2025)
• ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
  di: Amusuo, Paschal C., et al.
  Pubblicazione: (2023)