27 search results - page 1 / 6 » Instantiation-Based Invariant Discovery |
NFM
2011
12 years 10 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...
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
AB
2007
Springer
13 years 10 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
PAKDD
2007
ACM
13 years 10 months ago
2007
ACM
We present a framework for mining frequent trajectories, which are translated and/or rotated with respect to one another. We then discuss a multiresolution methodology, based on th...