Automatic Abstraction for Congruences
From MaRDI portal
Publication:3656884
DOI10.1007/978-3-642-11319-2_16zbMath1273.68085WikidataQ57665009 ScholiaQ57665009MaRDI QIDQ3656884
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
68Q25: Analysis of algorithms and problem complexity
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Transfer Function Synthesis without Quantifier Elimination, Application of static analyses for state-space reduction to the microcontroller binary code, A new abstraction framework for affine transformers, Abstract interpretation of microcontroller code: intervals meet congruences