3342 search results - page 284 / 669 » Automating Abstract Interpretation |
124
click to vote
ISSE
2010
15 years 2 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
116
Voted
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
143
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
119
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
147
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...