Program Synthesis Using Dual Interpretation

DOI10.1007/978-3-319-21401-6_33zbMath1465.68051OpenAlexW1614061774MaRDI QIDQ3454117

Bruno Dutertre, Adrià Gascón, Ashish Kumar Tiwari

Publication date: 2 December 2015

Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/24676075/cade2015.pdf

zbMATH Keywords

encryptionprogram synthesisabstract interpretationSMT solvingsyntax-guided synthesisexists-forall solving

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Solving Program Sketches with Large Integer Values ⋮ Satisfiability Checking: Theory and Applications ⋮ Refutation-based synthesis in SMT

Uses Software

• Yices

Cites Work

• Unnamed Item
• The shadow knows: refinement and security in sequential programs
• A theory for program and data type specification
• Automated Verification of Block Cipher Modes of Operation, an Improved Method

This page was built for publication: Program Synthesis Using Dual Interpretation