Program Analysis with Local Policy Iteration

DOI10.1007/978-3-662-49122-5_6zbMath1475.68092arXiv1509.03424OpenAlexW3105333642MaRDI QIDQ2796041

David Monniaux, Philipp Wendler, Egor George Karpenkov

Publication date: 23 March 2016

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence

Uses Software

• BLAST
• CPAchecker
• PAGAI

This page was built for publication: Program Analysis with Local Policy Iteration