Publication | Closed Access
The PRISM Benchmark Suite
118
Citations
0
References
2012
Year
Unknown Venue
Performance BenchmarkingEngineeringMachine LearningVerificationComputer ArchitectureComputer-aided VerificationSoftware EngineeringModel CheckingProbabilistic Verification ToolsModel VerificationFormal VerificationSoftware AnalysisData ScienceBenchmark StudySystems EngineeringParallel ComputingProperty SpecificationsPrism Benchmark SuiteComputer ScienceSoftware VerificationBenchmarking ToolProgram AnalysisAutomated ReasoningSoftware TestingProbabilistic VerificationFormal MethodsParallel Programming
We present the PRISM benchmark suite: a collection of probabilistic models and property specifications, designed to facilitate testing, benchmarking and comparisons of probabilistic verification tools and implementations.