Parameterized Verification through View Abstraction
View abstraction is a simple and generic framework for verification of parameterized systems. The idea of the abstraction is to look at a system through a window of a limited size, where the size of the window determines the precision of the abstraction. The framework was shown to be complete for WSTS. Thanks to its simplicity, the framework is widely applicable to systems with many kinds of topologies and types of communication. Its expressiveness can be also extended to verify certain systems which are not WSTS and do not have good downward closed invariants, such as a full version of Szymanski's protocol.