A zonotopic framework for functional abstractions
Logic in Computer Science
2009-10-12 v1
Abstract
This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove their correctness, which allows the generation of accurate numerical invariants. Other applications range from compositional reasoning to proofs of user-defined complex invariants and test case generation.
Cite
@article{arxiv.0910.1763,
title = {A zonotopic framework for functional abstractions},
author = {Eric Goubault and Sylvie Putot},
journal= {arXiv preprint arXiv:0910.1763},
year = {2009}
}
Comments
23 pages