Incremental Instance Generation in Local Reasoning
From MaRDI portal
Publication:3636873
DOI10.1007/978-3-642-02658-4_29zbMath1242.68164OpenAlexW1692871243MaRDI QIDQ3636873
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_29
Related Items
Solving quantified linear arithmetic by counterexample-guided instantiation, Towards Complete Reasoning about Axiomatic Specifications, Decision Procedures for Automating Termination Proofs
Uses Software