Anureev Igor Sergeevich

Publications in Math-Net.Ru

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