A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC

DOI10.16926/M.2017.22.07OpenAlexW2809422353MaRDI QIDQ5040714

Artur Rataj, Bożena Woźna-Szcześniak, Marcin Copik

Publication date: 17 October 2022

Published in: Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.16926/m.2017.22.07

zbMATH Keywords

Monte Carlo simulationPrismGPGPUstatistical model checkingprobabilistic model checkingprobabilistic logics

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

This page was built for publication: A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC