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

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

Solving the contact resistance challenge for 7nm and beyond CMOS

Flash Memory Takes Over

Sponsored Recommendations

Near- and Far-Field Measurements

April 16, 2024

In this comprehensive application note, we delve into the methods of measuring the transmission (or reception) pattern, a key determinant of antenna gain, using a vector network...

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.

Empowered by Cutting-Edge Automation Technology: The Sustainable Journey

April 16, 2024

Advanced automation is key to efficient production and is a powerful tool for optimizing infrastructure and processes in terms of sustainability.