Verifying code when software reliability is critical

For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used are good at detecting flaws, but they do not prove that source code is free of fatal run-time errors.


 

You requested access to the premium content above. To view the content please fill out the form.

To proceed please either

  • Use the login (if you are already registered user of Embedded-Know-how.com) or
  • complete the registration form below

Login:

Registration


I´m interested in:
All fields are required

With this registration, you agree that your data are shared with our premium content partners and that you may receive email messages from them.