APTE: An Algorithm for Proving Trace Equivalence
No abstract available.
Related papers
- Coarser Equivalences for Causal Concurrency POPL 2024
- Specification and inference of trace refinement relations OOPSLA 2019
- Network Change Validation with Relational NetKAT POPL 2026
- Mathematical foundation of trace scheduling TOPLAS 2011
- Data-centric dynamic partial order reduction POPL 2018
- The role of commutativity in constraint propagation algorithms TOPLAS 2000
- Adaptive Parallel Training for Graph Neural Networks PPoPP 2025
- Nested Session Types TOPLAS 2022