QUASY: Quantitative Synthesis Tool
Abstract elided by the publisher.
Related papers
- Syntax-Guided Synthesis with Quantitative Syntactic Objectives CAV 2018
- Quantitative Synthesis for Concurrent Programs CAV 2011
- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants TACAS 2023
- Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems CAV 2024
- Quantitative Assume Guarantee Synthesis CAV 2017
- Better Quality in Synthesis through Quantitative Objectives CAV 2009
- Programmable Program Synthesis CAV 2021
- Bridging boolean and quantitative synthesis using smoothed proof search POPL 2014