https://github.com/pfnet-research/pml
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
https://github.com/pfnet-research/pml
model-checking probabilistic-model refinement-type type-system verification
Last synced: 11 months ago
JSON representation
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
- Host: GitHub
- URL: https://github.com/pfnet-research/pml
- Owner: pfnet-research
- License: mit
- Created: 2018-11-09T04:39:31.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-12-21T01:59:18.000Z (about 7 years ago)
- Last Synced: 2025-03-27T01:51:26.979Z (12 months ago)
- Topics: model-checking, probabilistic-model, refinement-type, type-system, verification
- Language: C++
- Homepage:
- Size: 41 KB
- Stars: 10
- Watchers: 19
- Forks: 2
- Open Issues: 0