https://github.com/imdea-software/leap
A theorem prover for the temporal parametrized verification of concurrent data types
https://github.com/imdea-software/leap
Last synced: about 1 year ago
JSON representation
A theorem prover for the temporal parametrized verification of concurrent data types
- Host: GitHub
- URL: https://github.com/imdea-software/leap
- Owner: imdea-software
- License: apache-2.0
- Created: 2016-07-16T00:27:27.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2016-07-16T00:55:29.000Z (almost 10 years ago)
- Last Synced: 2025-04-02T15:21:17.059Z (about 1 year ago)
- Language: OCaml
- Homepage: http://software.imdea.org/leap
- Size: 3.17 MB
- Stars: 6
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE