skip to main content
short-paper

Optimizing verification effort with SPARK 2014

Published:10 November 2013Publication History

Abstract

No abstract available.

Index Terms

  1. Optimizing verification effort with SPARK 2014

          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 33, Issue 3
            HILT '13
            December 2013
            80 pages
            ISSN:1094-3641
            DOI:10.1145/2658982
            Issue’s Table of Contents
            • cover image ACM Conferences
              HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
              November 2013
              100 pages
              ISBN:9781450324670
              DOI:10.1145/2527269

            Copyright © 2013 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 10 November 2013

            Check for updates

            Qualifiers

            • short-paper
          • 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!