Anureev Igor Sergeevich

Publications in Math-Net.Ru

1. Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
   
   Model. Anal. Inform. Sist., 31:4 (2024),  384–425
2. Model checking programs in process-oriented IEC 61131-3 Structured Text
   
   Model. Anal. Inform. Sist., 31:1 (2024),  32–53
3. Requirement patterns in deductive verification of poST programs
   
   Model. Anal. Inform. Sist., 31:1 (2024),  6–31
4. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427
5. Methods for domain specification of verification-oriented process ontology
   
   Model. Anal. Inform. Sist., 26:4 (2019),  534–549
6. Operational semantics of annotated Reflex programs
   
   Model. Anal. Inform. Sist., 26:4 (2019),  475–487
7. Platform-independent specification and verification of the standard mathematical square root function
   
   Model. Anal. Inform. Sist., 25:6 (2018),  637–666
8. Verification oriented process ontology
   
   Model. Anal. Inform. Sist., 25:6 (2018),  607–622
9. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
10. Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems
    
    Tr. SPIIRAN, 25 (2013),  255–276
11. Deductive Verification of Telecommunication Systems Written in C
    
    Model. Anal. Inform. Sist., 19:6 (2012),  34–44
12. Attribute annotations and their use in C program deductive verification
    
    Model. Anal. Inform. Sist., 18:4 (2011),  21–33
13. Typical examples of Atoment language using
    
    Model. Anal. Inform. Sist., 18:4 (2011),  7–20
14. C program verification in the multilanguage system spectrum
    
    Model. Anal. Inform. Sist., 17:4 (2010),  88–100
15. C-programs verification on basis of mixed axiomatic semantics
    
    Model. Anal. Inform. Sist., 17:3 (2010),  5–28