1. Test data generation based on a formal analysis of the project configuration data

   • A. V. Bataev
   • A. A. Davydov
   • S. V. Sinitsyn

   OriginalPaper 06 January 2012 Pages: 373 - 379

2. Safe simulation testing of systems with refusals and destructions

   • I. B. Burdonov
   • A. S. Kosachev

   OriginalPaper 06 January 2012 Pages: 380 - 389

3. Complexity of verification of nondeterministic probabilistic multiagent systems

   • M. K. Valiev
   • M. I. Dekhtyar

   OriginalPaper 06 January 2012 Pages: 390 - 396

4. Model checking of distributed systems with affine data structures

   • N. O. Garanina

   OriginalPaper 06 January 2012 Pages: 397 - 401

5. On the calculus of positively constructed formulas for automated theorem proving

   • A. V. Davydov
   • A. A. Larionov
   • E. A. Cherkashin

   OriginalPaper 06 January 2012 Pages: 402 - 407

6. Integration of semantic verifiers into Java language compilers

   • A. V. Klepinin
   • A. A. Melentyev

   OriginalPaper 06 January 2012 Pages: 408 - 412

7. C program verification in SPECTRUM multilanguage system

   • V. A. Nepomniaschy
   • I. S. Anureev
   • A. V. Promsky

   OriginalPaper 06 January 2012 Pages: 413 - 420

8. Verification and synthesis of addition programs under the rules of correctness of statements

   • V. I. Shelekhov

   OriginalPaper 06 January 2012 Pages: 421 - 427

9. F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers

   • N. V. Shilov

   OriginalPaper 06 January 2012 Pages: 428 - 436

10. Distributed embedded control system design with verification support

    • I. V. Shoshmina

    OriginalPaper 06 January 2012 Pages: 437 - 443

11. On the reachability set of automaton counter machines

    • E. V. Kuzmin
    • D. J. Chalyy

    OriginalPaper 06 January 2012 Pages: 444 - 451

12. A doublestep extragradient method for solving a problem of the management of resources

    • A. V. Zykina
    • N. V. Melen’chuk

    OriginalPaper 06 January 2012 Pages: 452 - 459

13. Algorithm for transforming models of business processes into monochrome Petri nets

    • M. G. Dorrer

    OriginalPaper 06 January 2012 Pages: 460 - 468

14. On languages of automaton counter machines

    • E. V. Kuzmin
    • D. J. Chalyy

    OriginalPaper 06 January 2012 Pages: 469 - 484

15. C-programs verification based on mixed axiomatic semantics

    • I. S. Anureev
    • I. V. Maryasov
    • V. A. Nepomniaschy

    OriginalPaper 06 January 2012 Pages: 485 - 500

16. Mathematical models of economic systems with account for the irreversibility of the processes proceeding in them

    • A. M. Tsirlin

    OriginalPaper 06 January 2012 Pages: 501 - 520