Geodesic
Optimization procedures in affine model checking
Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 56-67

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: symbolic model checking, algebraic data representation, distributed systems. 
@article{MAIS_2011_18_4_a5,
     author = {N. O. Garanina},
     title = {Optimization procedures in affine model checking},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {56--67},
     publisher = {mathdoc},
     volume = {18},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a5/}
}
TY  - JOUR
AU  - N. O. Garanina
TI  - Optimization procedures in affine model checking
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2011
SP  - 56
EP  - 67
VL  - 18
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a5/
LA  - ru
ID  - MAIS_2011_18_4_a5
ER  - 
%0 Journal Article
%A N. O. Garanina
%T Optimization procedures in affine model checking
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 56-67
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a5/
%G ru
%F MAIS_2011_18_4_a5
N. O. Garanina. Optimization procedures in affine model checking. Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 56-67. http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a5/