A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Tool for Behavioral Analysis of Well-Structured Transition Systems
Инструмент для анализа поведения вполне структурированных систем переходов
2017
Proceedings of the Institute for System Programming of RAS
Инструмент для анализа поведения вполне структурированных систем переходов
Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency systems for proving decidability of properties based on coverability and boundedness. Each year brings new formalisms proven to be WSTS systems. Despite the large body of theoretical work on the WSTS theory, there has been a notable gap of empirical research of well-structured transition systems. In this paper, the tool for behavioural analysis of such systems is presented. We suggest the extension of
doi:10.15514/ispras-2017-29(4)-11
fatcat:shtywwxlkzbunl5ovlcrvdncse