Contents
Automatic Control and Computer Sciences

Vol. 46, No. 7, 2012

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.

Typical Examples of Using the Atoment Language

I. S. Anureev p. 299  abstract

Attribute Annotations and Their Use in C Program Deductive Verification

M. M. Atuchin and I. S. Anureev p. 308  abstract

Approximating Bisimulation in One-Counter Nets

V. A. Bashkin p. 317  abstract

LLVM-Based Static Analysis Tool Using Type and Effect Systems

M. Belyaev and V. Tsesko p. 324  abstract

Optimisation Procedures in Affine Model Checking

N. O. Garanina p. 331  abstract

Using Dependencies to Improve Precision of Code Analysis

M. I. Glukhikh, V. M. Itsykson, and V. A. Tsesko p. 338  abstract

Inhibitor Petri Net Executing an Arbitrary Given Markov Normal Algorithm

D. A. Zaitsev p. 345  abstract

Automatic Data Race Detection in SystemC Models

A. V. Zakharov and M. J. Moiseev p. 356  abstract

A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems

A. V. Klimov p. 364  abstract

A Formal Application Model for Code and Test Generation

S. N. Baranov and V. P. Kotlyarov p. 371  abstract

A SPIN-based Approach for Detecting Vulnerabilities in C Programs

N. G. Kushik, A. Mammar, A. Cavalli, N. V. Yevtushenko,
W. Jimenez, and E. Montes de Oca p. 379  abstract

Verification of Telecommunication Systems Specified Using Communicating Finite-State
Automata Using Colored Petri Nets

D. M. Beloglazov, M. Yu. Mashukov, and V. A. Nepomnyashchiy p. 387  abstract

C Program Verification: Verification Condition Explanation and Standard Library

A. V. Promsky p. 394  abstract

Verification of Backtracking and Branch and Bound Design Templates

N. V. Shilov p.402  abstract

Pleiades Publishing home page | journal home page | top

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