1422 search results - page 63 / 285 » Complementation in Abstract Interpretation |
142
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 ...
114
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
127
click to vote
ICESS
2004
Springer
15 years 10 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...
163
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
149
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
In recent years, digital multimedia technologies have evolved significantly, and are finding numerous applications, over the internet, and even over mobile networks. Thus, the vid...