Versions Packages Information History Badges Report

Information for alt-ergo

Summaries

  • Automated theorem prover including linear arithmetic (2)
  • Automatic solver of mathematical formulas for program verification
  • Automatic theorem prover
  • High-performance theorem prover and SMT solver
  • SMT solver for software verification

Maintainers

Homepages

Downloads