Article

Hybrid Verification: Mixing Formal Methods and Testing

Published in Stockyminds by Ben Brosgol
The author describes how Ada code can be used in environments where formal analysis of the entire program is impractical.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS