32 search results - page 7 / 7 » Interpolation and SAT-Based Model Checking |
136
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
120
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...