Runtime Verification audits EXA Finance’s Baskets smart contract

Audit scope

  • Simple sale: users can choose to sell assets in a simple sale format with assets being sold at a fixed price.
  • Shopping cart: users have the option of using a shopping cart function, allowing them to sell a set amount of an asset until the set amount is depleted.
  • Simple auction: users can sell assets in an auction format, with the sale going to the highest bidder.
  • Reverse/Dutch auction: users can sell assets in a reverse auction format, where the price of the basket goes down gradually to a set minimum until someone buys it.



About EXA Finance

About Runtime Verification



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Runtime Verification

Runtime Verification


Runtime Verification Inc. is a technology startup providing cutting edge formal verification tools and services for aerospace, automotive, and the blockchain.