https://github.com/imandra-ai/cme-mdp
Imandra Modelling Language CME MDP Model
https://github.com/imandra-ai/cme-mdp
automated-reasoning cme formal-methods formal-verification imandra imandra-markets market-data market-data-handler mdp ocaml protocol
Last synced: 6 months ago
JSON representation
Imandra Modelling Language CME MDP Model
- Host: GitHub
- URL: https://github.com/imandra-ai/cme-mdp
- Owner: imandra-ai
- Created: 2016-12-04T23:08:00.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2020-05-12T11:41:09.000Z (about 5 years ago)
- Last Synced: 2023-03-02T13:02:18.432Z (about 2 years ago)
- Topics: automated-reasoning, cme, formal-methods, formal-verification, imandra, imandra-markets, market-data, market-data-handler, mdp, ocaml, protocol
- Language: Jupyter Notebook
- Homepage: https://www.imandra.ai
- Size: 2.17 MB
- Stars: 13
- Watchers: 11
- Forks: 3
- Open Issues: 0