The application of adaptive symmetry reduction for LTL model checking
Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system. It assumes the perfect symmetry of states initially and tracks symmetry violations o...
Main Authors: | I. V. Konnov, V. A. Zakharov |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2010-12-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/1054 |
Similar Items
-
Formal Verification of Three-Valued Digital Waveforms
by: Nina Yu. Kutsak, et al.
Published: (2019-09-01) -
LTL-Specification of Counter Machines
by: Egor V. Kuzmin
Published: (2021-03-01) -
LTL-Specification of Bounded Counter Machines
by: Egor V. Kuzmin
Published: (2022-03-01) -
On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2012-01-01) -
On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2015-03-01)