Article Jun 3 '13

Developing Secure Code Using SPARK

Published in Embedded.com by Ben Brosgol
This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS
Continue Reading
Tags Formal VerificationSPARKStatic Analysis