Program Verification

• AutoProof: Contract-Based Formal Verification Environment for Eiffel
  by javier (modified: 2025 Aug 07)

  Tags:
  • eiffel
  • design by contract
  • Boogie
  • Program Verification