XSpeed: Accelerating Reachability Analysis on Multi-core Processors
Haifa Verification Conference, pp. 3-18, 2015.
We present XSpeed a parallel state-space exploration algorithm for continuous systems with linear dynamics and nondeterministic inputs. The motivation of having parallel algorithms is to exploit the computational power of multi-core processors to speed-up performance. The parallelization is achieved on two fronts. First, we propose a para...更多
PDF 全文 (上传PDF)