Scribble
A Solidity runtime verification tool for property based testing.
Description
Scribble is a specification language and runtime verification tool that translates high-level specifications into Solidity code.
It allows you to annotate smart contracts with properties, instead of writing in a separate file. Upon completion, Scribble transforms annotations in the Scribble specification language into concrete assertions that v...
Links
Focus Area
Digital Human Rights