|
[BESW11]
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs.
Parallel probabilistic model checking on general purpose graphics processors.
International Journal on Software Tools for Technology Transfer (STTT).
2011.
[Presents techniques for parallel probabilistic model checking on GPUs, implemented as an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|