Operational Semantics of Annotated Reflex Programs von Anureev, I. S.

Volltext

Conflict resolution in multi-agent systems with typed relations for ontology population von Garanina, N. O., Sidorova, E. A., Anureev, I. S.

Volltext

Verification-Oriented Process Ontology von Garanina, N. O., Anureev, I. S., Borovikova, O. I.

Volltext

Operational ontological approach to formal programming language specification von Anureev, I. S.

Volltext

Methods for Domain Specialization of Verification-Oriented Process Ontologies von Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.

Volltext

Deductive Verification of Telecommunication Systems Written in C von Anureev, I. S.

Volltext

A Temporal Logic for Programmable Logic Controllers von Garanina, N. O., Anureev, I. S., Zyubin, V. E., Staroletov, S. M., Liakh, T. V., Rozov, A. S., Gorlatch, S. P.

Volltext

Dedicative Verification of Reflex Programs von Anureev, I. S., Garanina, N. O., Lyakh, T. V., Rozov, A. S., Zyubin, V. E., Gorlatch, S. P.

Volltext

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function von Shilov, N. V., Kondratyev, D. A., Anureev, I. S., Bodin, E. V., Promsky, A. V.

Volltext

Generation of correctness conditions for imperative programs von Shilov, N. V., Anureev, I. S., Bodin, E. V.

Volltext

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language von Nepomniaschy, V. A., Anureev, I. S., Promskii, A. V.

Volltext

Towards Verification of C Programs. C-Light Language and Its Formal Semantics von Nepomniaschy, V. A, Anureev, I. S, Mikhailov, I. N, Promskii, A. V

Volltext

Deductive verification of telecommunication systems written in C von Anureev, I. S.

Volltext

Typical examples of using the atoment language von Anureev, I. S.

Volltext

Towards verification of C# programs: A three-level approach von Nepomniaschy, V. A., Anureev, I. S., Dubranovskii, I. V., Promsky, A. V.

Volltext

Running Regular Research Seminar Online von Shilov, N. V., Kondratyev, D. A., Kudasov, N., Anureev, I. S.

Volltext

Deductive Verification of Telecommunication Systems Written in C von I. S. Anureev

Volltext

Typical Examples of Atoment Language Using von I. S. Anureev

Volltext

Attribute annotations and their use in C program deductive verification von Atuchin, M. M., Anureev, I. S.

Volltext

C-programs verification based on mixed axiomatic semantics von Anureev, I. S., Maryasov, I. V., Nepomniaschy, V. A.

Volltext