Abstracting Induction by Extrapolation and Interpolation

DOI10.1007/978-3-662-46081-8_2zbMath1432.68258OpenAlexW85711746MaRDI QIDQ5172632

Patrick Cousot

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_2

zbMATH Keywords

interpolationextrapolationstatic analysiswideningnarrowingabstract interpretationstatic checkingstatic verificationabstract inductiondual-narrowingdual-widening

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Three improvements to the top-down solver ⋮ Enforcing termination of interprocedural analysis

This page was built for publication: Abstracting Induction by Extrapolation and Interpolation