...a reference guide draft or similar to ease defining and integrating proofs?

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

...a reference guide draft or similar to ease defining and integrating proofs? #259

Closed syscoopco closed 4 years ago

syscoopco commented 4 years ago

Which is the best public resource, such as a reference guide draft, that eases to formally construct the specification of my smart contract aiming to verify it by means of VeriSol?

No Azure user. I'm using the typical truffle suite configuration.

Thanks.

shuvendu-lahiri commented 4 years ago

A reference guide is something that we hope to get sometime soon.

Meanwhile, the best resources are https://github.com/microsoft/verisol/blob/master/INSTALL.md#running-verisol to see examples of various specification constructs.

syscoopco commented 4 years ago

Got it.