Grammatech talks about the importance of software in engineering

In this video Mark Hermeling of Grammatech talks to Alix Paultre after the Embedded World show in Nuremberg about the importance of software verification for security and safety in electronic design. Static analysis has proven to be one of the most effective technologies to quickly find defects that cause system failures, and one of the easiest to integrate into the software development process.