Checking array bounds by abstract interpretation and symbolic expressions

DOI10.1007/978-3-319-94205-6_46OpenAlexW2810997401MaRDI QIDQ1799137

Fausto Spoto, Étienne Payet

Publication date: 18 October 2018

Full work available at URL: https://hal.univ-reunion.fr/hal-01921666/file/ijcar18.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• PPL
• ASTREE
• Julia Static Analyzer

This page was built for publication: Checking array bounds by abstract interpretation and symbolic expressions