Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6

Geodesic

Parcourir par

Volume 21 (2014) no. 6

Sommaire

From the editors of the special issue

V. A. Nepomnyashchii ; V. A. Sokolov

p. 5-6

Random model sampling: making Craig interpolation work when it should not

Marat Akhin ; Sam Kolton ; Vladimir Itsykson

p. 7-17

Controllable deadlocks in parallel resource-constrained workflows

V. A. Bashkin ; N. Yu. Panfilova

p. 18-30

Using SPIN for verification of multi-agent data analysis

N. O. Garanina ; E. V. Bodin ; E. A. Sidorova

p. 31-43

Approach to behavior scenarios debugging

P. D. Drobintsev ; V. P. Kotlyarov ; I. V. Nikiforov ; A. A. Letichevsky ; V. S. Peschanenko

p. 44-56

On the update problems for software defined networks

V. A. Zakharov ; E. V. Chemeritsky

p. 57-70

Towards the ’verified verifier’. Theory and practice

D. A. Kondratyev ; A. V. Promsky

p. 71-82

Using a bounded model checker for test generation: how to kill two birds with one SMT-solver

Maxim Petrov ; Kirill Gagarski ; Mikhail Belyaev ; Vladimir Itsykson

p. 83-93

Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets

S. A. Chernenok ; V. A. Nepomniaschy

p. 94-106

Support for visual languages evolution in DSM-platform QReal

T. Y. Agapova ; T. A. Bryksin

p. 107-119

Identification of programs based on the behavior

M. V. Baklanovsky ; A. R. Khanov

p. 120-130

IDE support of string-embedded languages

S. Grigorev ; E. Verbitskaia ; M. Polubelova ; A. Ivanov ; E. Mavchun

p. 131-143

Incremental approach to the technology of test design for industrial projects

P. D. Drobintsev ; V. P. Kotlyarov ; I. V. Nikiforov ; A. A. Letichevsky

p. 144-154

Software for graph analysis and visualization

M. I. Kolomeychenko ; A. A. Zolotyh ; I. V. Polyakov ; A. M. Chepovskiy

p. 155-168

PolarDB --- infrastructure for specialized NoSQL datebases and DBMS

A. G. Marchuk

p. 169-175

Seminar ``Nonlinear Dynamics''

p. 176-192