Noetherian Spaces in Verification

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

• Type: Conference
• Year: 2010
• Where: ICALP
• Authors: Jean Goubault-Larrecq
• Keywords: ICALP 2010, Infinite-state Verification Problems, Noetherian Spaces, Programming Languages, Topological Concept