DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
Abstract elided by the publisher.
Related papers
- Efficient state merging in symbolic execution PLDI 2012
- Conflict resolution for structured merge via version space algebra OOPSLA 2018
- Distributed Explicit State Model Checking of Deadlock Freedom CAV 2013
- 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025
- Distributed Coalgebraic Partition Refinement TACAS 2022
- Distributed merge trees PPoPP 2013
- Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions CAV 2022
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023