Automated discovery of simulation between programs

DOI10.1007/978-3-662-48899-7_42MaRDI QIDQ3460090zbMATH OpenOpenAlexFDO

Authors Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_42

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1670793
• Property directed equivalence via abstract simulation
• From program verification to program synthesis
• scientific article; zbMATH DE number 1953018
• Learning abstractions for program synthesis

Cited in

(7)

• Solving quantified linear arithmetic by counterexample-guided instantiation
• Learning inductive invariants by sampling from frequency distributions
• Bridging arrays and ADTs in recursive proofs
• A self-certifying compilation framework for WebAssembly
• Counterexample-Guided Model Synthesis
• Property directed equivalence via abstract simulation
• Operationally-based program equivalence proofs using LCTRSs

Describes a project that uses

Uses Software

• z3
• UFO

This page was built for publication: Automated discovery of simulation between programs

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