Fast three-valued abstract bit-vector arithmetic

DOI10.1007/978-3-030-94583-1_12zbMath1498.68166OpenAlexW4205339820MaRDI QIDQ2152654

Stefan Ratschan, Jan Onderka

Publication date: 8 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-94583-1_12

zbMATH Keywords

formal verificationadditionmultiplicationcomputer arithmeticthree-valued abstractionpseudo-Boolean modular inequality

Mathematics Subject Classification ID

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

Uses Software

• Stony Brook
• hfloat

Cites Work

• Unnamed Item
• Pseudo-Boolean optimization
• Automating Abstract Interpretation
• Handbook of Model Checking
• Matters Computational
• Systematic design of program transformation frameworks by abstract interpretation
• On notation for ordinal numbers