Dynamic Cutoff Detection in Parameterized Concurrent Programs
Abstract elided by the publisher.
Related papers
- Tight Cutoffs for Guarded Protocols with Fairness VMCAI 2016
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity VMCAI 2018
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff PPoPP 2026
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026