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: 26 days 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 (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-12-22T03:43:19.000Z (over 4 years ago)
• Last Synced: 2025-02-06T12:48:08.886Z (3 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
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Static Analysis and Verification - Project

## PRISM

##### Author: Dominik Harmim