On the Scalability of the GPUexplore Explicit-State Model Checker
The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during development. GPUexplore is an explicit-state model checker that runs all its computations on the GPU. Over the years it has...
| Main Authors: | , , |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
Open Publishing Association
2017-12-01
|
| 叢編: | Electronic Proceedings in Theoretical Computer Science |
| 在線閱讀: | http://arxiv.org/pdf/1801.05857v1 |