By the same authors

From the same journal

From the same journal

Ada and the software vulnerabilities project: The SPARK Annex

Research output: Contribution to journalArticlepeer-review


  • 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


Publication details

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


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]*.

    Research areas

  • Ada, Software vulnerabilities, Software vulnerability, SPARK

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations