References

  1. Dan A. Alcantara, Vasily Volkov, Shubhabrata Sengupta, Michael Mitzenmacher, John D. Owens & Nina Amenta (2012): Building an Efficient Hash Table on the GPU. In: GPU Computing Gems Jade Edition. Morgan Kaufmann Publishers Inc., pp. 39–53, doi:10.1016/B978-0-12-385963-1.00004-6.
  2. Christel Baier & Joost-Pieter Katoen (2008): Principles of model checking. MIT Press.
  3. Henri Bal, Dick Epema, Cees de Laat, Rob van Nieuwpoort, John Romein, Frank Seinstra, Cees Snoek & Harry Wijshoff (2016): A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term. IEEE Computer 49(5), pp. 54–63, doi:10.1109/MC.2016.127.
  4. Jiří Barnat, Petr Bauch, Luboš Brim & Milan Češka (2012): Designing Fast LTL Model Checking Algorithms for Many-Core GPUs. JPDC 72(9), pp. 1083–1097, doi:10.1016/j.jpdc.2011.10.015.
  5. Ezio Bartocci, Richard DeFrancisco & Scott A. Smolka (2014): Towards a GPGPU-parallel SPIN Model Checker. In: SPIN 2014. ACM, New York, NY, USA, pp. 87–96, doi:10.1145/2632362.2632379.
  6. Rajesh Bordawekar (2014): Evaluation of Parallel Hashing Techniques. Presentation at GTC'14 (last checked on 17 February 2017). http://on-demand.gputechconf.com/gtc/2014/presentations/S4507-evaluation-of-parallel-hashing-techniques.pdf.
  7. Dragan Bošnački, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2011): Parallel Probabilistic Model Checking on General Purpose Graphics Processors. STTT 13(1), pp. 21–35, doi:10.1007/s10009-010-0176-4.
  8. Dragan Bošnački, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2010): GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units. In: PDMC. IEEE, pp. 17–19, doi:10.1109/PDMC-HiBi.2010.11.
  9. Nathan Cassee & Anton Wijs (2017): Analysing the Performance of GPU Hash Tables for State Space Exploration. In: GaM, EPTCS. Open Publishing Association.
  10. Milan Češka, Petr Pilař, Nicola Paoletti, Luboš Brim & Marta Kwiatkowska (2016): PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In: TACAS, LNCS 9636. Springer, pp. 367–384, doi:10.1007/978-3-642-54862-8.
  11. Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. De Vink, Wieger Wesselink & Tim A. C. Willemse (2013): An Overview of the mCRL2 Toolset and Its Recent Advances. In: TACAS, LNCS 7795. Springer, pp. 199–213, doi:10.1007/978-3-642-36742-7_15.
  12. Stefan Edelkamp & Damian Sulewski (2010): Efficient Explicit-State Model Checking on General Purpose Graphics Processors. In: SPIN, LNCS 6349. Springer, pp. 106–123, doi:10.1007/978-3-642-16164-3_8.
  13. Stefan Edelkamp & Damian Sulewski (2010): External memory breadth-first search with delayed duplicate detection on the GPU. In: MoChArt, LNCS 6572. Springer, pp. 12–31, doi:10.1007/978-3-642-20674-0_2.
  14. Hubert Garavel, Frédéric Lang, Radu Mateescu & Wendelin Serwe (2013): CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. STTT 15(2), pp. 89–107, doi:10.1007/978-3-540-73368-3_18.
  15. David Heimbold & David Luckham (1985): Debugging Ada Tasking Programs. IEEE Software 2(2), pp. 47–57, doi:10.1109/MS.1985.230351.
  16. Alfons Laarman (2014): Scalable Multi-Core Model Checking. University of Twente, doi:10.3990/1.9789036536561.
  17. Frédéric Lang (2006): Refined Interfaces for Compositional Verification. In: FORTE, LNCS 4229. Springer, pp. 159–174, doi:10.1007/11888116_13.
  18. Prabhakar Misra & Mainak Chaudhuri (2012): Performance Evaluation of Concurrent Lock-free Data Structures on GPUs. In: ICPADS, pp. 53–60, doi:10.1109/ICPADS.2012.18.
  19. Maryam Moazeni & Majid Sarrafzadeh (2012): Lock-free Hash Table on Graphics Processors. In: SAAHPC, pp. 133–136, doi:10.1109/SAAHPC.2012.25.
  20. Thomas Neele, Anton Wijs, Dragan Bošnački & Jaco van de Pol (2016): Partial Order Reduction for GPU Model Checking. In: ATVA, LNCS 9938. Springer, pp. 357–374, doi:10.1007/978-3-319-46520-3_23.
  21. John Nickolls, Ian Buck, Michael Garland & Kevin Skadron (2008): Scalable Parallel Programming with CUDA. Queue 6(2), pp. 40–53, doi:10.1145/1365490.1365500.
  22. Rasmus Pagh & Flemming Friche Rodler (2001): Cuckoo Hashing. In: ESA, LNCS 2161. Springer, pp. 121–133, doi:10.1007/3-540-44676-1_10.
  23. Radek Pelánek (2007): BEEM: Benchmarks for Explicit Model Checkers. In: SPIN 2007, LNCS 4595, pp. 263–267, doi:10.1007/978-3-540-73370-6_17.
  24. Steven van der Vegt & Alfons Laarman (2011): A Parallel Compact Hash Table. In: MEMICS, LNCS 7119. Springer, pp. 191–204, doi:10.1007/978-3-642-25929-6_18.
  25. Anton Wijs (2007): Achieving Discrete Relative Timing with Untimed Process Algebra. In: ICECCS. IEEE, pp. 35–44, doi:10.1109/ICECCS.2007.13.
  26. Anton Wijs (2015): GPU Accelerated Strong and Branching Bisimilarity Checking. In: TACAS, LNCS 9035. Springer, pp. 368–383, doi:10.1007/978-3-662-46681-0_29.
  27. Anton Wijs (2016): BFS-Based Model Checking of Linear-Time Properties With An Application on GPUs. In: CAV, Part II, LNCS 9780. Springer, pp. 472–493, doi:10.1007/978-3-319-41540-6_26.
  28. Anton Wijs & Dragan Bošnački (2014): GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. In: TACAS, LNCS 8413, pp. 233–247, doi:10.1007/978-3-642-54862-8_16.
  29. Anton Wijs & Dragan Bošnački (2016): Many-Core On-The-Fly Model Checking of Safety Properties Using GPUs. STTT 18(2), pp. 169–185, doi:10.1007/s10009-015-0379-9.
  30. Anton Wijs & Wan Fokkink (2005): From χ_t to μCRL: Combining Performance and Functional Analysis. In: ICECCS. IEEE, pp. 184–193, doi:10.1109/ICECCS.2005.51.
  31. Anton Wijs, Joost-Pieter Katoen & Dragan Bošnački (2014): GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. In: CAV, LNCS 8559. Springer, pp. 309–325, doi:10.1007/978-3-319-08867-9_20.
  32. Anton Wijs, Joost-Pieter Katoen & Dragan Bošnački (2016): Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components. Formal Methods in System Design 48(3), pp. 274–300, doi:10.1007/s10703-016-0246-7.
  33. Anton Wijs, Thomas Neele & Dragan Bošnački (2016): GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. In: FM, LNCS 9995. Springer, pp. 694–701, doi:10.1007/978-3-319-48989-6_42.
  34. Zhimin Wu, Yang Liu, Yun Liang & Jun Sun (2014): GPU Accelerated Counterexample Generation in LTL Model Checking. In: ICFEM, LNCS 8829. Springer, pp. 413–429, doi:10.1007/978-3-319-11737-9_27.
  35. Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi & Shengchao Qin (2015): GPU Accelerated On-the-Fly Reachability Checking. In: ICECCS 2015, pp. 100–109, doi:10.1109/ICECCS.2015.21.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org