Article
Mar 20 '18
You think your software works? Prove it!
Published in Embedded.com
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.
