Gerard Holzmann at Bell Labs, Software to detect bugs in networked computers; Charles Howell at Mitre, Benchmarks for software assurance; Charles Simonyi at Intentional Software, Programming tools to ...

Since its introduction in 1992, DO-178B has become the defacto standard for certifying all new aviation software. Subsequently, however, avionics software complexity has increased dramatically, ...

Editorial note: If you’re interested in contributing an original opinion piece to be published by Avionics International, check out our guest submission guidelines. Software can be found in every ...