06.11.2014 - Lukáš Holík (Brno University of Technology)

Time 17:00
Room 34-420


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.

termine/ws14/141106.txt · Last modified: 04.11.2014 17:04 by ctadmin