Contents
Automatic Control and Computer Sciences

Vol. 45, No. 7, 2011

A simultaneous English language translation of this journal is available from Allerton Press, Inc.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.

Test Data Generation Based on a Formal Analysis of the Project Configuration Data

A. V. Bataev, A. A. Davydov, N. Yu. Nalutin, and S. V. Sinitsyn p. 373  abstract

Safe Simulation Testing of Systems with Refusals and Destructions

I. B. Burdonov and A. S. Kosachev p. 380  abstract

Complexity of Verification of Nondeterministic Probabilistic Multiagent Systems

M. K. Valiev and M. I. Dekhtyar p. 390  abstract

Model Checking of Distributed Systems with Affine Data Structures

N. O. Garanina p. 397  abstract

On the Calculus of Positively Constructed Formulas for Automated Theorem Proving

A. V. Davydov, A. A. Larionov, and E. A. Cherkashin p. 402  abstract

Integration of Semantic Verifiers into Java Language Compilers

A. V. Klepinin and A. A. Melentyev p. 408  abstract

C Program Verification in SPECTRUM Multilanguage System

V. A. Nepomniaschy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov,
A. A. Petrov, and A. V. Promsky p. 413  abstract

Verification and Synthesis of Addition Programs under the Rules
of Correctness of Statements

V. I. Shelekhov p. 421  abstract

F@BOOL@: Experiment with a Simple Verifying Compiler Based on SAT–Solvers

N. V. Shilov p. 428  abstract

Distributed Embedded Control System Design with Verification Support

I. V. Shoshmina p. 437  abstract

On the Reachability Set of Automaton Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 444  abstract

A Doublestep Extragradient Method for Solving a Problem
of the Management of Resources

A. V. Zykina and N. V. Melen’chuk p. 452  abstract

Algorithm for Transforming Models of Business Processes into Monochrome Petri Nets

M. G. Dorrer p. 460  abstract

On Languages of Automaton Counter Machines

E. V. Kuzmin and D. J. Chalyy p. 469  abstract

C-Programs Verification Based on Mixed Axiomatic Semantics

I. S. Anureev, I. V. Maryasov, and V. A. Nepomniaschy p. 485  abstract

Mathematical Models of Economic Systems with Account for the Irreversibility
of the Processes Proceeding in Them

A. M. Tsirlin p. 501  abstract

Contents of Volume 45, 2011 p. 521

Author Index to Volume 45, 2011 p.525

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.