7167 search results - page 1 / 1434 » A Technique for Invariant Generation |
91
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
A general method of systematic derivation of affine moment invariants of any weights and orders is introduced. Each invariant is expressed by its generating graph. Techniques for ...
95
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
100
Voted
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
65
Voted
MICAI
2004
Springer
15 years 5 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
80
Voted
TACAS
2001
Springer
15 years 4 months ago
2001
Springer