7167 search results - page 27 / 1434 » A Technique for Invariant Generation |
232
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
114
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
127
click to vote
ICPR
2006
IEEE
15 years 8 months ago
2006
IEEE
In hand shape recognition, transformation invariance is key for successful recognition. We propose a system that is invariant to small scale, translation and shape variations. Thi...
114
click to vote
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
100
click to vote
VAMOS
2007
Springer
15 years 8 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...