A new abstraction framework for affine transformers

DOI10.1007/978-3-319-66706-5_17MaRDI QIDQ5233249zbMATH OpenOpenAlexFDO

Authors Tushar Sharma, Thomas Reps

Publication date 16 September 2019

Published in Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• A new abstraction framework for affine transformers
• Automatic modular abstractions for linear constraints
• A zonotopic framework for functional abstractions
• Constructing Specialized Shape Analyses for Uniform Change
• Invertible linear transforms of numerical abstract domains

Cited in

(2)

• A new abstraction framework for affine transformers
• Computing invariants with transformers: experimental scalability and accuracy

This page was built for publication: A new abstraction framework for affine transformers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233249)