Scribble
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 veri...
