Interpolating strong induction

DOI10.1007/978-3-030-25543-5_21arXiv1906.01583OpenAlexW2966211217MaRDI QIDQ6194955

Hari Govind Vediramana Krishnan, Yakir Vizel, Arie Gurfinkel, Vijay Ganesh

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1906.01583

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Progress in certifying hardware model checking results ⋮ Latticed \(k\)-induction with an application to probabilistic programs ⋮ Backward symbolic execution with loop folding

This page was built for publication: Interpolating strong induction