Noetherian Spaces in Verification

13 years 6 months ago

Download www.lsv.ens-cachan.fr

Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimulated the search for infinite procedures

Jean Goubault-Larrecq

Real-time Traffic

ICALP 2010 | Infinite-state Verification Problems | Noetherian Spaces | Programming Languages | Topological Concept |

claim paper

Related Content

» On Noetherian Spaces

» The Home Marking Problem and Some Related Concepts

» Fast discriminative speaker verification in the ivector space

» Towards automated verification of autonomous networks A case study in selfconfiguration

» A Compositional Method With FailurePreserving Abstraction for Asynchronous Design Verifica...

» A MultiHypothesis Approach for OffLine Signature Verification with HMMs

» A mixedsignal verification kit for verification of analoguedigital circuits

» State Space Representation for Verification of Open Systems

» Fingerprint Enhancement with Dyadic ScaleSpace

Post Info
More Details (n/a)

Added	13 Oct 2010
Updated	13 Oct 2010
Type	Conference
Year	2010
Where	ICALP
Authors	Jean Goubault-Larrecq

Comments (0)

Sciweavers

Noetherian Spaces in Verification

ICALP 2010 | Infinite-state Verification Problems | Noetherian Spaces | Programming Languages | Topological Concept |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers