RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2014, Volume 21, Number 6  


From the editors of the special issue
V. A. Nepomnyashchii, V. A. Sokolov
5
Random model sampling: making Craig interpolation work when it should not
Marat Akhin, Sam Kolton, Vladimir Itsykson
7
Controllable deadlocks in parallel resource-constrained workflows
V. A. Bashkin, N. Yu. Panfilova
18
Using SPIN for verification of multi-agent data analysis
N. O. Garanina, E. V. Bodin, E. A. Sidorova
31
Approach to behavior scenarios debugging
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko
44
On the update problems for software defined networks
V. A. Zakharov, E. V. Chemeritsky
57
Towards the verified verifier. Theory and practice
D. A. Kondratyev, A. V. Promsky
71
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
83
Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets
S. A. Chernenok, V. A. Nepomniaschy
94
Support for visual languages evolution in DSM-platform QReal
T. Y. Agapova, T. A. Bryksin
107
Identification of programs based on the behavior
M. V. Baklanovsky, A. R. Khanov
120
IDE support of string-embedded languages
S. Grigorev, E. Verbitskaia, M. Polubelova, A. Ivanov, E. Mavchun
131
Incremental approach to the technology of test design for industrial projects
P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky
144
Software for graph analysis and visualization
M. I. Kolomeychenko, A. A. Zolotyh, I. V. Polyakov, A. M. Chepovskiy
155
PolarDB — infrastructure for specialized NoSQL datebases and DBMS
A. G. Marchuk
169
Seminar “Nonlinear Dynamics”
176
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019