Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Jiri Barnat, Lubos Brim, Milan Ceska & Tomas Lamr (2009):
CUDA Accelerated LTL Model Checking.
In: Proceedings of the 15th International Conference on Parallel and Distributed Systems.
IEEE,
pp. 34–41,
doi:10.1109/ICPADS.2009.50.
Richard Barrett, Michael Berry, Tony F. Chan, James Demmel, June M. Donato, Jack Dongarra, Victor Eijkhout, Roldan Pozo, Charles Romine & Henk Van der Vorst (1994):
Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods.
SIAM.
Dragan Bosnacki, Stefan Edelkamp & Damian Sulewski (2009):
Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
In: Proceedings of the 16th SPIN Workshop.
Springer-Verlag,
pp. 32–49,
doi:10.1007/978-3-642-02652-2_7.
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2011):
Parallel Probabilistic Model Checking on General Purpose Graphics Processors.
International Journal on Software Tools for Technology Transfer 13(1),
pp. 21–35,
doi:10.1007/s10009-010-0176-4.
Peter Buchholz (2006):
Structured Analysis Techniques for Large Markov Chains.
In: Proceeding of the 2006 Workshop on Tools for Solving Structured Markov Chains.
ACM,
pp. 2,
doi:10.1145/1190366.1190367.
Abhijeet Gaikwad & Ioane M. Toke (2010):
Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case.
In: Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing.
IEEE,
pp. 607–614,
doi:10.1109/PDP.2010.55.
Michael Garland & David B. Kirk (2010):
Understanding Throughput-Oriented Architectures.
Communications of the ACM 53(11),
pp. 58–66,
doi:10.1145/1839676.1839694.
Boudewijn R. Havertkort (1998):
Performance of Computer Communication Systems.
John Wiley & Sons.
David B. Kirk & Wen-mei W. Hwu (2010):
Programming Massively Parallel Processors: A Hands-on Approach.
Morgan Kaufmann.
Marta Z. Kwiatkowska, David Parker & Hongyang Qu (2011):
Incremental Quantitative Verification for Markov Decision Processes.
In: Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks.
IEEE,
pp. 359–370,
doi:10.1109/DSN.2011.5958249.
Gilbert Strang (2003):
Introduction to Linear Algebra.
Wellesley-Cambridge Press.
Henk A. van der Vorst (1992):
Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems.
SIAM Journal on Scientific and Statistical Computing 13(2),
pp. 631–644,
doi:10.1137/0913035.
Xin Zhang (2010):
Measuring Progress of Model Checking Randomized Algorithms.
York University,
Toronto.