256 search results - page 1 / 52 » Noetherian Spaces in Verification |
ICALP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
ACTAC
2002
13 years 4 months ago
2002
: In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home m...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
This work presents a new approach to discriminative speaker verification. Rather than estimating speaker models, or a model that discriminates between a speaker class and the cla...
PERCOM
2010
ACM
13 years 2 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...