Model. Anal. Inform. Sist., 2010 Volume 17, Number 4, Pages 52–59
(Mi mais35)
|
This article is cited in
1 paper
Model checking of distributed systems with affine data structures
N. O. Garanina A. P. Ershov Institute of Informatics Systems Sib. Br. RAS
Abstract:
A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.
Keywords:
symbolic model checking, distributed systems.
UDC:
517.51+
514.17 Received: 17.09.2010
© , 2025
Fulltext:
PDF file (260 kB)