Pages that link to "Item:Q3460090"
From MaRDI portal
The following pages link to Automated Discovery of Simulation Between Programs (Q3460090):
Displaying 6 items.
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Bridging arrays and ADTs in recursive proofs (Q2233489) (← links)
- A self-certifying compilation framework for WebAssembly (Q2234063) (← links)
- Counterexample-Guided Model Synthesis (Q3303898) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)