Transfer Function Synthesis without Quantifier Elimination

DOI10.2168/LMCS-8(3:17)2012zbMath1278.68070OpenAlexW2761697135MaRDI QIDQ5891770

Jörg Brauer, Andy King

Publication date: 25 September 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(3:17)2012

zbMATH Keywords

linear constraintsstatic analysistransfer functionsabstract interpretationautomatic abstraction

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)

Sound Bit-Precise Numerical Domains

Uses Software

• SATIRE
• z3
• Aspic
• Sat4j
• CBMC
• BAP
• ASTREE
• OSMOSE

This page was built for publication: Transfer Function Synthesis without Quantifier Elimination