Ausgabe 7/2014
Inhalt (29 Artikel)
Software defect detection by combining bounded model checking and approximations of functions
M. Kh. Akhin, M. A. Belyaev, V. M. Itsykson
A formal model and verification problems for software defined networks
V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
Automatic C program verification based on mixed axiomatic semantics
I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev
A formal approach to test scenarios generation based on guides
P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky
Construction and verification of PLC LD programs by the LTL specification
E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
Corner boundary layer in nonlinear elliptic problems containing first-order derivatives
V. F. Butuzov, I. V. Denisov
Influence of delayed feedback control on the stability of periodic orbits
V. G. Bogaevskaya, I. S. Kashchenko
One mechanism of hard excitation of oscillations in nonlinear flutter systems
S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov
Classical and nonclassical symmetries of a nonlinear differential equation for describing waves in a liquid with gas bubbles
N. A. Kudryashov, D. I. Sinelshchikov
Asymptotics of solutions of finite-difference approximations of a logistic equation with delay and small diffusion
S. A. Kashchenko, V. E. Frolov
How to make a simple tool for verification of real-time systems
I. V. Konnov, V. V. Podymov, D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin
A translator with a security static analysis feature of an information flow for a simple programming language
E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy
Multistability in a laser model with large delay
E. V. Grigorieva, I. S. Kashchenko, S. A. Kashchenko
Doubly periodic meromorphic solutions of autonomous nonlinear differential equations
M. V. Demina, N. A. Kudryashov