A new abstraction framework for affine transformers

DOI10.1007/s10703-018-0325-zzbMath1425.68084MaRDI QIDQ2322316

Thomas W. Reps, Tushar Sharma

Publication date: 4 September 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://digital.library.wisc.edu/1793/76483

zbMATH Keywords

abstract interpretation; program verification; abstract domains; bit-vectors; affine transformers

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

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

Uses Software

• LLVM
• WALi
• TSL