Synthesizing Non-Vacuous Systems
No abstract available.
Related papers
- Specification synthesis with constrained Horn clauses PLDI 2021
- How Vacuous Is Vacuous? TACAS 2004
- What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority POPL 1985
- Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions POPL 2023
- Synthesizing regular expressions from examples for introductory automata assignments GPCE 2016
- Inductive synthesis of structurally recursive functional programs from non-recursive expressions JFP 2025
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025
- Katara: synthesizing CRDTs with verified lifting OOPSLA 2022