Automated Discovery of Simulation Between Programs
From MaRDI portal
Publication:3460090
DOI10.1007/978-3-662-48899-7_42zbMath1471.68061OpenAlexW327661820MaRDI QIDQ3460090
Arie Gurfinkel, Grigory Fedyukovich, 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
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Operationally-based program equivalence proofs using LCTRSs ⋮ 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
Uses Software
This page was built for publication: Automated Discovery of Simulation Between Programs
