Test data generation based on a formal analysis of the project configuration data A. V. BataevA. A. DavydovS. V. Sinitsyn OriginalPaper 06 January 2012 Pages: 373 - 379
Safe simulation testing of systems with refusals and destructions I. B. BurdonovA. S. Kosachev OriginalPaper 06 January 2012 Pages: 380 - 389
Complexity of verification of nondeterministic probabilistic multiagent systems M. K. ValievM. I. Dekhtyar OriginalPaper 06 January 2012 Pages: 390 - 396
Model checking of distributed systems with affine data structures N. O. Garanina OriginalPaper 06 January 2012 Pages: 397 - 401
On the calculus of positively constructed formulas for automated theorem proving A. V. DavydovA. A. LarionovE. A. Cherkashin OriginalPaper 06 January 2012 Pages: 402 - 407
Integration of semantic verifiers into Java language compilers A. V. KlepininA. A. Melentyev OriginalPaper 06 January 2012 Pages: 408 - 412
C program verification in SPECTRUM multilanguage system V. A. NepomniaschyI. S. AnureevA. V. Promsky OriginalPaper 06 January 2012 Pages: 413 - 420
Verification and synthesis of addition programs under the rules of correctness of statements V. I. Shelekhov OriginalPaper 06 January 2012 Pages: 421 - 427
F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers N. V. Shilov OriginalPaper 06 January 2012 Pages: 428 - 436
Distributed embedded control system design with verification support I. V. Shoshmina OriginalPaper 06 January 2012 Pages: 437 - 443
On the reachability set of automaton counter machines E. V. KuzminD. J. Chalyy OriginalPaper 06 January 2012 Pages: 444 - 451
A doublestep extragradient method for solving a problem of the management of resources A. V. ZykinaN. V. Melen’chuk OriginalPaper 06 January 2012 Pages: 452 - 459
Algorithm for transforming models of business processes into monochrome Petri nets M. G. Dorrer OriginalPaper 06 January 2012 Pages: 460 - 468
On languages of automaton counter machines E. V. KuzminD. J. Chalyy OriginalPaper 06 January 2012 Pages: 469 - 484
C-programs verification based on mixed axiomatic semantics I. S. AnureevI. V. MaryasovV. A. Nepomniaschy OriginalPaper 06 January 2012 Pages: 485 - 500
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