Electronicdesign 14171 Softwarepromo 0 608985a12d32d

Q&A: Formal Methods Push Toward Zero-Defect Software (.PDF Download)

March 9, 2017

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

Read this article online

Safety and reliability have moved to the top of the list of critical criteria in software development. There are many ways to achieve improved safety and reliability, and one of the best is to employ formal methods. I talked with AdaCore’s SPARK product manager, Yannick Moy, about how formal verification of software can help lead to the development of zero-defect software...

Sponsored

Explore Raspberry Pi’s imaging and AI tools in this free webinar with expert insights from Naushir Patuck. Register now to attend live or watch the recording later.
Understanding speaker mechanics can allow engineers to craft immersive auditory experiences, but with a wide range of components and specifications crucial to speaker design, ...
Slide switches offer a compact, reliable way to control circuits with a simple sliding motion—ideal for low-power, space-constrained applications. This technical overview breaks...
This webcast will focus on design of RF front-end circuitry including RF PAs and LNAs, Tunable Filter, Attenuators, External LO and Power Management that are required to complete...