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
-
Notifications
You must be signed in to change notification settings - Fork 0
License
fmlab-iis/LibRef
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published