1689 search results - page 96 / 338 » Refining abstract interpretations |
119
click to vote
JFP
2008
15 years 4 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
137
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
112
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
124
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
117
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...