A zonotopic framework for functional abstractions

Details A zonotopic framework for functional abstractions A zonotopic framework for functional abstractions

2009-10-09

arxiv.org/abs/0910.1763v1

Computer Science

Logic in Computer Science

23 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A zonotopic framework for functional abstractions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A zonotopic framework for functional abstractions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A zonotopic framework for functional abstractions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-51674