Published on Institute of Theoretical and Applied Informatics, Polish Academy of Sciences (https://www.iitis.pl)

Home > A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract)
2525
TA

A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract) [1]

Submitted by arataj on

TitleA GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract)
Publication TypeConference Paper
Year of Publication2016
AuthorsCopik M [2], Rataj A [3], Wozna-Szczesniak B [4]
Conference NameProceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
URLhttp://ceur-ws.org/Vol-1698/CS&P2016_19_Copik&Rataj&Wozna-Szczesniak_A-GPGPU-based-Simulator-for-Prism-Statistical-Verification-of-Results-of-PMC.pdf [5]

Links
[1] https://www.iitis.pl/en/content/gpgpu-based-simulator-prism-statistical-verification-results-pmc-extended-abstract [2] https://www.iitis.pl/en/publications?f%5Bauthor%5D=1847 [3] https://www.iitis.pl/en/publications?f%5Bauthor%5D=1632 [4] https://www.iitis.pl/en/publications?f%5Bauthor%5D=1846 [5] http://ceur-ws.org/Vol-1698/CS&P2016_19_Copik&Rataj&Wozna-Szczesniak_A-GPGPU-based-Simulator-for-Prism-Statistical-Verification-of-Results-of-PMC.pdf