VojtechRehak

I am an associate professor at Faculty of Informatics, Masaryk University.

Faculty of Informatics, Masaryk UniversityBrno, Czech Republic

Pinned Repositories

eshop-varhany
Language:PHP0 1 00
prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Language:Java61
storm-gsmp
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Language:C++00

VojtechRehak's Repositories

VojtechRehak/prism-gsmp
PRISM model checker fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Language:Java61
VojtechRehak/storm-gsmp
A Modern Probabilistic Model Checker. Fork that adds modelling and analysis using Generalized Semi-Markov Processes (GSMP).
Language:C++00