• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get Started
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
1 Search Results
why
Why is a software verification platform.
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
2.41
LGPL-2.1-only
Used by 0 other packages
Innovation. Community. Security.
  • About Us
  • Industrial Users
  • Academic Users
  • Why OCaml
  • Resources
  • Get Started
  • Language Docs
  • Books
  • Releases
  • Community
  • Blog
  • Jobs
  • Legal
  • Carbon Footprint
  • Governance
  • Privacy Policy
  • Code of Conduct