Search Results - Igor S. Anureev

Operational Semantics of Annotated Reflex Programs by Igor S. Anureev

Get full text

Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

Get full text

Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

Get full text

Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

Get full text

Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

Get full text

Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

Get full text

Platform-independent Specification and Verification of the Standard Mathematical Square Root Function by Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

Get full text

Temporal Logic for Programmable Logic Controllers by Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch

Get full text