• Resources
  • Directory
  • Webinars
  • CAD Models
  • Video
  • Blogs
  • More Publications
  • Advertise
    • Electronicdesign 8064 Adacorepromo
    1. Home

    Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014 (.PDF Download)

    Jan. 7, 2015

    This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts

    Read this article online

    In our previous article (“Requiem for a Bug—Verifying Software: Testing and Static Analysis”), we presented a sample Ada program to perform a binary search of a sorted array, and we used both traditional testing and the CodePeer static analysis tool to locate bugs. Let's now move to formal verification using SPARK 2014 technology...

    Download

    Continue Reading

    Sponsored Recommendations

    What are the Important Considerations when Assessing Cobot Safety?

    April 16, 2024
    A review of the requirements of ISO/TS 15066 and how they fit in with ISO 10218-1 and 10218-2 a consideration the complexities of collaboration.

    Wire & Cable Cutting Digi-Spool® Service

    April 16, 2024
    Explore DigiKey’s Digi-Spool® professional cutting service for efficient and precise wire and cable management. Custom-cut to your exact specifications for a variety of cable ...

    DigiKey Factory Tomorrow Season 3: Sustainable Manufacturing

    April 16, 2024
    Industry 4.0 is helping manufacturers develop and integrate technologies such as AI, edge computing and connectivity for the factories of tomorrow. Learn more at DigiKey today...

    Connectivity – The Backbone of Sustainable Automation

    April 16, 2024
    Advanced interfaces for signals, data, and electrical power are essential. They help save resources and costs when networking production equipment.