You think your software works? Prove it!

Published in by Ben Brosgol
The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS