Extending verisol code contracts library - Githubissues

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Extending verisol code contracts library #160

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

VeriSol library
Loop invariants and contract invariant
Sum
Porting workbench\assettransfer to 0.5