Model Checking of Distributed Systems with Affine Data Structures
A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2010-12-01
|
| Series: | Modelirovanie i Analiz Informacionnyh Sistem |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1051 |
| id |
doaj-3226f7a8c1cc4e948d41d3596d3344a9 |
|---|---|
| record_format |
Article |
| spelling |
doaj-3226f7a8c1cc4e948d41d3596d3344a92021-07-29T08:15:17ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172010-12-011745259792Model Checking of Distributed Systems with Affine Data StructuresN. O. Garanina0Институт систем информатики им. А.П. Ершова СО РАНA new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.https://www.mais-journal.ru/jour/article/view/1051symbolic model checkingdistributed systems |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
N. O. Garanina |
| spellingShingle |
N. O. Garanina Model Checking of Distributed Systems with Affine Data Structures Modelirovanie i Analiz Informacionnyh Sistem symbolic model checking distributed systems |
| author_facet |
N. O. Garanina |
| author_sort |
N. O. Garanina |
| title |
Model Checking of Distributed Systems
with Affine Data Structures |
| title_short |
Model Checking of Distributed Systems
with Affine Data Structures |
| title_full |
Model Checking of Distributed Systems
with Affine Data Structures |
| title_fullStr |
Model Checking of Distributed Systems
with Affine Data Structures |
| title_full_unstemmed |
Model Checking of Distributed Systems
with Affine Data Structures |
| title_sort |
model checking of distributed systems
with affine data structures |
| publisher |
Yaroslavl State University |
| series |
Modelirovanie i Analiz Informacionnyh Sistem |
| issn |
1818-1015 2313-5417 |
| publishDate |
2010-12-01 |
| description |
A new data structure is suggested for symbolic model checking of distributed systems
defined by linear functions of integer variables. |
| topic |
symbolic model checking distributed systems |
| url |
https://www.mais-journal.ru/jour/article/view/1051 |
| work_keys_str_mv |
AT nogaranina modelcheckingofdistributedsystemswithaffinedatastructures |
| _version_ |
1721256551666155520 |