Back to Results
First PageMeta Content
Probabilistic complexity theory / Model checking / Monte Carlo method / Markov chain / Stochastic / Randomized algorithm / Probabilistic CTL / Probability and statistics / Theoretical computer science / Statistics


PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool Musab AlTurki and JosĀ“e Meseguer
Add to Reading List

Document Date: 2011-05-18 16:24:10


Open Document

File Size: 325,84 KB

Share Result on Facebook
UPDATE