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


2010, Volume 17, Number 4  


From the editors of the special issue
V. A. Nepomnyashchii, V. A. Sokolov
1
Automated correctness proof of algorithm variants in elliptic curve cryptography
M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther
7
Test data generation based on a formal analysis of the project configuration
A. V. Bataev, A. A. Davydov, N. Yu. Nalyutin, S. V. Sinitsyn
17
Safe simulation testing of systems with refusals and destructions
I. B. Burdonov, A. S. Kosachev
27
On complexity of verification of nondeterministic probabilistic multiagent systems
M. K. Valiev, M. I. Dekhtyar'
41
Model checking of distributed systems with affine data structures
N. O. Garanina
52
On the calculus of positively constructed formulas for authomated theorem proving
A. V. Davydov, A. A. Larionov, E. A. Cherkashin
60
Integration of semantic verification into Java compilers
A. V. Klepinin, A. A. Melent'ev
70
The application of adaptive symmetry reduction for LTL model checking
I. V. Konnov, V. A. Zakharov
78
C program verification in the multilanguage system spectrum
V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Mar'yasov, A. A. Petrov, A. V. Promskii
88
Verification and synthesis of addition programs under the rules of statement correctness
V. I. Shelekhov
101
F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
N. V. Shilov
111
Distributed embedded control systems design with verification support
I. V. Shoshmina
125
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019