Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

A GPGPU–based simulator for prism: statistical verification of results of PMC

Szczegóły
Abstrakt

Tytuł:: A GPGPU–based simulator for prism: statistical verification of results of PMC
Autorzy:: Copik, M.
Rataj, A.
Woźna-Szcześniak, B.
Data publikacji:: 2017
Słowa kluczowe:: GPGPU
symulacja Monte Carlo
pryzmat
probabilistyczny model statystyczny
Monte Carlo simulation
prism
probabilistic model checking
statistical model checking
probabilistic logics
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła Pełny tekst

We describe a GPGPU–based Monte Carlo simulator integrated with Prism. It supports Markov chains with discrete or continuous time and a subset of properties expressible in PCTL, CSL and their variants extended with rewards. The simulator allows an automated statistical verification of results obtained using Prism’s formal methods.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

A GPGPU–based simulator for prism: statistical verification of results of PMC