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

Marcin Copik Artur Rataj Bozena Wozna-Szczesniak

Published in: CS&P (2016)

Keyphrases

extended abstract
statistical analysis
statistical methods
model checking
simulation model
formal verification
machine learning
website
web services
data driven
statistical models
information theoretic
information theory
test bed
statistical inference
asynchronous circuits