Maximal specification synthesis

DOI10.1145/2837614.2837628MaRDI QIDQ2828322zbMATH OpenOpenAlexFDO

Authors Aws Albarghouthi, Isil Dillig, Arie Gurfinkel

Publication date 24 October 2016

Published in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2837614.2837628

zbMATH Keywords

specificationsynthesisverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• From program verification to program synthesis
• Abstraction-based interaction model for synthesis
• Symbolic abstract contract synthesis in a rewriting framework
• Refutation-based synthesis in SMT
• Preface for the SYNT

Cited in

(17)

• Scalable algorithms for abduction via enumerative syntax-guided synthesis
• Unbounded procedure summaries from bounded environments
• Symbolic abstract contract synthesis in a rewriting framework
• Automated inference of library specifications for source-sink property verification
• Protocol Inference Using Static Path Profiles
• Structural Synthesis for GXW Specifications
• Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
• Assume, guarantee or repair
• A weakness measure for GR(1) formulae
• A weakness measure for GR(1) formulae
• Automated program repair using formal verification techniques
• Principles of staged static+dynamic partial analysis
• OptiRica: towards an efficient optimizing Horn solver
• When are software verification results valid for approximate hardware?
• Partial program analysis for staged compilation systems
• An interactive SMT tactic in Coq using abductive reasoning
• Theory exploration powered by deductive synthesis

This page was built for publication: Maximal specification synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828322)