Abstract Domains of Affine Relations - Elder, Matt; Lim, Junghee; Sharma, Tushar; Andersen, Tycho; Reps, Thomas (ACM transactions on programming languages and systems, 2014)
Keywords: Algorithms; Analyzers; Assertion checking; Assertions; Blasting; Blocking; Cross-computing tools and techniques; Empirical software validation; Formal methods; Formal software verification; Functional verification; General and reference; Hardware; Hardware validation; Invariants; Mathematical analysis; Process validation; Program reasoning; Program verification; Rings (mathematics); Semantics; Semantics and reasoning; Software and its engineering; Software creation and management; Software functional properties; Software organization and properties; Software verification and validation; Theory of computation; Transformers; Validation; Howell form; symbolic abstraction; modular arithmetic; abstract interpretation; static analysis; affine relation; Abstract domain