skip to main content
technical-note

Gem #51: safe and secure software: chapter 11, certified safe with SPARK

Published:25 September 2009Publication History
Skip Abstract Section

Abstract

Gem #51 is the eleventh chapter of John Barnes' new booklet: Safe and Secure Software: An Introduction to Ada 2005.

Index Terms

  1. Gem #51: safe and secure software: chapter 11, certified safe with SPARK

                Recommendations

                Comments

                Login options

                Check if you have access through your login credentials or your institution to get full access on this article.

                Sign in

                Full Access

                • Published in

                  cover image ACM SIGAda Ada Letters
                  ACM SIGAda Ada Letters  Volume 29, Issue 2
                  August 2009
                  57 pages
                  ISSN:1094-3641
                  DOI:10.1145/1620593
                  Issue’s Table of Contents

                  Copyright © 2009 Author

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 25 September 2009

                  Check for updates

                  Qualifiers

                  • technical-note
                • Article Metrics

                  • Downloads (Last 12 months)1
                  • Downloads (Last 6 weeks)1

                  Other Metrics

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader
                About Cookies On This Site

                We use cookies to ensure that we give you the best experience on our website.

                Learn more

                Got it!