Software Testing Tools Guide
Description
Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
Details
- Listing categories Test oracle
- Licence Open Source
- Status Active
- User Interface GUI
Contact
- E-mail contact@ocamlpro.com
- Website https://alt-ergo.ocamlpro.com
Post New Review
You must be logged in to post a comment.