Redaktion Elektor
About the article

7 Ways to Make Embedded Software Safe and Secure with Static Analysis and Formal Methods

The Dutch logician Edsger Dijkstra, a pioneer in computer science, once said, “Program testing can be used to show the presence of bugs, but never to show their absence!” Yet, many embedded projects mistakenly interpret the absence of test failures as proof of quality. This article presents a unique way to address this problem.
Downloading of this magazine article is reserved for registered users only.
Login | Register now!
Loading comments...