Automated Synthesis of Asynchronizations
No abstract available.
Related papers
- Synthesis of Asynchronous Reactive Programs from Temporal Specifications CAV 2018
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications VMCAI 2012
- Message Chains for Distributed System Verification OOPSLA 2023
- Static deadlock detection for asynchronous C# programs PLDI 2017
- A Concurrent Approach to String Transformation Synthesis PLDI 2025
- Automated Synthesis of Functional Programs with Auxiliary Functions APLAS 2018
- Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks APLAS 2018
- MGSyn: Automatic Synthesis for Industrial Automation CAV 2012