Underapproximation of Procedure Summaries for Integer Programs

DOI10.1007/978-3-642-36742-7_18zbMath1381.68052arXiv1210.4289OpenAlexW2338346238MaRDI QIDQ5326329

Radu Iosif, Filip Konečný, Pierre Ganty

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

A Calculus for Modular Loop Acceleration ⋮ Interprocedural Reachability for Flat Integer Programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Predicate Pairing for program verification

This page was built for publication: Underapproximation of Procedure Summaries for Integer Programs