1. Random model sampling: Making craig interpolation work when it should not

   • Marat Akhin
   • Sam Kolton
   • Vladimir Itsykson

   OriginalPaper 28 January 2016 Pages: 413 - 419

2. Using SPIN for verification of multiagent data analysis

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

   OriginalPaper 28 January 2016 Pages: 420 - 429

3. Approach to behavior scenarios debugging

   • P. Drobintsev
   • V. Kotlyarov
   • V. Peschanenko

   OriginalPaper 28 January 2016 Pages: 430 - 436

4. On network update problems for software defined networks

   • E. V. Chemeritskiy
   • V. A. Zakharov

   OriginalPaper 28 January 2016 Pages: 437 - 444

5. Developing a self-applicable verification system. Theory and practice

   • D. A. Kondratyev
   • A. V. Promsky

   OriginalPaper 28 January 2016 Pages: 445 - 452

6. Construction and verification of PLC-programs by LTL-specification

   • E. V. Kuzmin
   • V. A. Sokolov
   • D. A. Ryabukhin

   OriginalPaper 28 January 2016 Pages: 453 - 465

7. Using a bounded model checker for test generation: How to kill two birds with one SMT solver

   • M. Petrov
   • K. Gagarski
   • V. Itsykson

   OriginalPaper 28 January 2016 Pages: 466 - 472

8. Heuristic algorithms for the problem of integer balancing of a three-dimensional matrix with constraints of the second type

   • A. V. Smirnov

   OriginalPaper 28 January 2016 Pages: 473 - 483

9. Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets

   • S. A. Chernenok
   • V. A. Nepomniaschy

   OriginalPaper 28 January 2016 Pages: 484 - 492

10. Singularly perturbed boundary value problem with multizonal interior transitional layer

    • V. F. Butuzov

    OriginalPaper 28 January 2016 Pages: 493 - 507

11. Dissipative structures of the Kuramoto–Sivashinsky equation

    • N. A. Kudryashov
    • P. N. Ryabov
    • B. A. Petrov

    OriginalPaper 28 January 2016 Pages: 508 - 513

12. Analysis of running waves stability in the Ginzburg–Landau equation with small diffusion

    • A. A. Kashchenko

    OriginalPaper 28 January 2016 Pages: 514 - 517

13. Dynamics of the simplest piecewise linear discontinuous mappings

    • D. S. Kaschenko

    OriginalPaper 28 January 2016 Pages: 518 - 524

14. Blue sky catastrophe in systems with nonclassical relaxation oscillations

    • S. D. Glyzin
    • A. Yu. Kolesov
    • N. Kh. Rozov

    OriginalPaper 28 January 2016 Pages: 525 - 546

15. Relaxation oscillations in a system with delays modeling the predator–prey problem

    • S. A. Kaschenko

    OriginalPaper 28 January 2016 Pages: 547 - 581

16. Specific features of oscillations in adiabatic oscillators with delay

    • P. N. Nesterov
    • E. N. Agafonchikov

    OriginalPaper 28 January 2016 Pages: 582 - 596

17. Optimal control of the behavior of solutions of an initial boundary value problem simulating rotation of a solid with an elastic rod

    • E. P. Kubyshkin
    • M. S. Tryakhov

    OriginalPaper 28 January 2016 Pages: 597 - 607

18. On fractional faces of the metric polytope

    • V. A. Bondarenko
    • A. V. Nikolaev

    OriginalPaper 28 January 2016 Pages: 608 - 614