Redaktion Elektor
Présentation de l'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.
Le téléchargement de ce magazine est réservé aux visiteurs enregistrés.
Identification | Inscrivez-vous maintenant !
Chargement des commentaires...