totycro
4 SlideShares
Tags
coral klee symbolic execution constraint solving s matroids matroid greedy matriod intersection octagon domain abstract interpretation point quadtree region quadtree kd-tree mx quadtree spatial data structures unknown horizons quadtrees
See more

Presentations

(4)
See all

Quadtrees.presentation

14 years ago • 364 Views

The Octagon Abstract Domain

12 years ago • 918 Views

Matroids

12 years ago • 1689 Views

Dealing with complex constraints in symbolic execution

12 years ago • 296 Views
Tags
coral klee symbolic execution constraint solving s matroids matroid greedy matriod intersection octagon domain abstract interpretation point quadtree region quadtree kd-tree mx quadtree spatial data structures unknown horizons quadtrees
See more