LibRef
LibRef - A reference library for verifying implementations of abstract data types.
Setup
You need to build Leon before using this library. Please follow the instructions in Leon documentation to set up the environment.
API document
See here.
License
GPL v3