Parallelising Symbolic State-Space Generators
Abstract elided by the publisher.
Related papers
- Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation TACAS 2001
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- A new approach to parallelising tracing algorithms ISMM 2009
- Parallelisation of the Petri Net Unfolding Algorithm TACAS 2002
- Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach ECOOP 1993
- Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach VMCAI 2024
- Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code CC 2014