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