Automatic Abstraction for Congruences

DOI10.1007/978-3-642-11319-2_16zbMath1273.68085OpenAlexW1605468179WikidataQ57665009 ScholiaQ57665009MaRDI QIDQ3656884

Andy King, Harald Søndergaard

Publication date: 14 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/30704/1/vmcai.pdf

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic ⋮ Application of static analyses for state-space reduction to the microcontroller binary code ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Transfer Function Synthesis without Quantifier Elimination ⋮ A new abstraction framework for affine transformers

This page was built for publication: Automatic Abstraction for Congruences