GPU Accelerated Strong and Branching Bisimilarity Checking
Abstract elided by the publisher.
Related papers
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes CAV 1991
- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable APLAS 2009
- Faster Signature Refinement for Branching Bisimilarity Minimization TACAS 2026
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems TACAS 2020
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021
- CUDAAdvisor: LLVM-based runtime profiling for modern GPUs CGO 2018
- Automatic GPU memory management for large neural models in TensorFlow ISMM 2019