Warning: unsaved changes will be lost. Copy to clipboard?
Start Verification ▶
  • Choose solidity file
  • InvertibleBroken.sol
  • InvertibleFixed.sol
  • BankBroken.sol
  • BankFixed.sol
  • AuctionBroken.sol
  • AuctionFixed.sol
  • Unlock Contract Editing 🔓
  • Choose spec
  • Invertible.spec
  • Bank.spec
  • Auction.spec
certora.com
About
Contact Us