Ilinva: using abduction to generate loop invariants

DOI10.1007/978-3-030-29007-8_5zbMath1435.68365arXiv1906.11033OpenAlexW2970244683MaRDI QIDQ2180218

Nicolas Peltier, Yanis Sellami, Mnacho Echenim

Publication date: 13 May 2020

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Scalable algorithms for abduction via enumerative syntax-guided synthesis

This page was built for publication: Ilinva: using abduction to generate loop invariants