search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Add support for user to write contract invariant #140

Open shuvendu-lahiri opened 5 years ago