![logo](https://pl-directory-images-prod.s3.us-west-1.amazonaws.com/18db14933f507f22.webp)
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...