PARTY Parameterized Synthesis of Token Rings
Abstract elided by the publisher.
Related papers
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014
- Reasoning about Rings POPL 1995
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Online Input Grammar Synthesis Aided Symbolic Execution OOPSLA 2026
- Parameterized Synthesis TACAS 2012
- Towards Efficient Parameterized Synthesis VMCAI 2013
- Parameterized Infinite-State Reactive Synthesis POPL 2026