Well-Structured Systems: Algorithms and Complexity

Well-structured systems, aka WSTS, are a family of infinite-state computational models that support generic decidability results based on well-quasi-ordering theory. They have many applications in logics of programs and verification. In this talk we present a modern version of the basic WSTS algorithms and describe new techniques for the complexity analysis of WSTS models. 15: 30 15: 40 Break

Authors

• Philippe Schnoebelen

Keywords

No keywords are indexed for this paper.