Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/harmim/vut-sav-project
Static Analysis and Verification - Project - PRISM
https://github.com/harmim/vut-sav-project
bdd markov-chain markov-decision-processes model-checking pctl prism probabilistic-models sav static-analysis stochastic-processes verification vut vut-fit
Last synced: about 14 hours ago
JSON representation
Static Analysis and Verification - Project - PRISM
- Host: GitHub
- URL: https://github.com/harmim/vut-sav-project
- Owner: harmim
- License: mit
- Created: 2020-12-19T12:04:06.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2020-12-22T03:43:19.000Z (about 4 years ago)
- Last Synced: 2024-12-13T09:08:17.278Z (about 2 months ago)
- Topics: bdd, markov-chain, markov-decision-processes, model-checking, pctl, prism, probabilistic-models, sav, static-analysis, stochastic-processes, verification, vut, vut-fit
- Language: TeX
- Homepage:
- Size: 1.88 MB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0