https://github.com/gowthamk/q6
Quelea Symbolic Execution
https://github.com/gowthamk/q6
consistency distributed-systems ocaml q9 symbolic-execution
Last synced: about 1 year ago
JSON representation
Quelea Symbolic Execution
- Host: GitHub
- URL: https://github.com/gowthamk/q6
- Owner: gowthamk
- License: other
- Created: 2016-10-14T14:32:58.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2018-11-29T22:00:47.000Z (over 7 years ago)
- Last Synced: 2025-04-22T17:16:07.369Z (about 1 year ago)
- Topics: consistency, distributed-systems, ocaml, q9, symbolic-execution
- Language: OCaml
- Size: 1.05 MB
- Stars: 3
- Watchers: 4
- Forks: 2
- Open Issues: 0