Optimization Procedures in Affine Model Checking

Optimization Procedures in Affine Model Checking

Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic techniques, for example, constraint based mode...

Full description

Bibliographic Details
Main Author: N. O. Garanina
Format: Article
Language:English
Published: Yaroslavl State University 2011-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
symbolic model checking
algebraic data representation
distributed systems
Online Access:https://www.mais-journal.ru/jour/article/view/1098
id doaj-4452cc5986f846aa997ceac60214914d
record_format Article
spelling doaj-4452cc5986f846aa997ceac60214914d2021-07-29T08:15:18ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172011-12-011845667839Optimization Procedures in Affine Model CheckingN. O. Garanina0Институт систем информатики им. А.П. Ершова СО РАНSymbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic techniques, for example, constraint based model checking and regular model checking. In this paper we suggest improved algorithms for an algebraic data representation, namely, optimization algorithms for affine data structures.https://www.mais-journal.ru/jour/article/view/1098symbolic model checkingalgebraic data representationdistributed systems
collection DOAJ
language English
format Article
sources DOAJ
author N. O. Garanina
spellingShingle N. O. Garanina
Optimization Procedures in Affine Model Checking
Modelirovanie i Analiz Informacionnyh Sistem
symbolic model checking
algebraic data representation
distributed systems
author_facet N. O. Garanina
author_sort N. O. Garanina
title Optimization Procedures in Affine Model Checking
title_short Optimization Procedures in Affine Model Checking
title_full Optimization Procedures in Affine Model Checking
title_fullStr Optimization Procedures in Affine Model Checking
title_full_unstemmed Optimization Procedures in Affine Model Checking
title_sort optimization procedures in affine model checking
publisher Yaroslavl State University
series Modelirovanie i Analiz Informacionnyh Sistem
issn 1818-1015
2313-5417
publishDate 2011-12-01
description Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic techniques, for example, constraint based model checking and regular model checking. In this paper we suggest improved algorithms for an algebraic data representation, namely, optimization algorithms for affine data structures.
topic symbolic model checking
algebraic data representation
distributed systems
url https://www.mais-journal.ru/jour/article/view/1098
work_keys_str_mv AT nogaranina optimizationproceduresinaffinemodelchecking
_version_ 1721256559744385024

Similar Items