7167 search results - page 27 / 1434 » A Technique for Invariant Generation |
331
click to vote
NFM
2011
15 years 1 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...
178
click to vote
PLDI
2003
ACM
15 years 12 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...
185
click to vote
ICPR
2006
IEEE
16 years 22 days 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...
161
click to vote
ISOLA
2007
Springer
16 years 25 days 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...
157
click to vote
VAMOS
2007
Springer
16 years 24 days 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...