Publication | Closed Access
VESTA: A statistical model-checker and analyzer for probabilistic systems
171
Citations
3
References
2005
Year
Unknown Venue
EngineeringVerificationModel CheckingStatistical Model-checkingModel VerificationSoftware AnalysisFormal VerificationUncertainty QuantificationStatisticsAnalysis Tool VestaProbabilistic SystemTemporal ExpressionsConformance CheckingComputer ScienceProbability TheoryStatistical Model-checkerAutomated ReasoningProgram AnalysisProbabilistic VerificationFormal Methods
We give a brief overview of a statistical model-checking and analysis tool VESTA. VESTA is a tool for statistical analysis of probabilistic systems. It supports statistical model-checking and statistical evaluation of expected values of temporal expressions.
| Year | Citations | |
|---|---|---|
Page 1
Page 1