Scribble

Open Source

Specification language and runtime verification tool for Solidity. Annotate contracts with properties that are checked at runtime or via fuzzing.

About

Scribble is a specification language and instrumentation tool by ConsenSys Diligence. Developers annotate Solidity contracts with Scribble properties that describe expected behavior, and the tool instruments the code to check these properties at runtime or during fuzzing. This approach makes it easy to gradually add formal properties to existing codebases without learning a separate specification language.