Automated Verification of the Parallel Bellman-Ford Algorithm
No abstract available.
Related papers
- Efficient Parallel Strategy Improvement for Parity Games CAV 2017
- Function Call Re-Vectorization PPoPP 2017
- Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018 JFP 2020
- Automated Verification of Parallel Nested DFS TACAS 2020
- Value Iteration with Guessing for Markov Chains and Markov Decision Processes TACAS 2025
- Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games CAV 2020
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software POPL 1983
- CertRL: formalizing convergence proofs for value and policy iteration in Coq CPP 2021