Ada and the software vulnerabilities project: The SPARK Annex

Alan Burns*, Joyce L. Tokar, Stephen Baird, John Barnes, Rod Chapman, Gary Dismukes, Michael González-Harbour, Stephen Michell, Brad Moore, Luis Miguel Pinho, Erhard Ploedereder, Jorge Real, J. P. Rosen, Ed Schonberg, S. Tucker Taft, T. Vardanega

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


In a previous article [1] we published the Ada [2] Annex to the Technical Report (TR) on software vulnerabilities [3], developed by ISO/IEC JTC 1/SC 22/WG 23. This article completes this work, with the annex concerning SPARK [4]*.

Original languageEnglish
Pages (from-to)278-289
Number of pages12
JournalAda User Journal
Issue number4
Publication statusPublished - 1 Dec 2010


  • Ada
  • Software vulnerabilities
  • Software vulnerability

Cite this