Bodin Evgenii Viktorovich

Publications in Math-Net.Ru

1. Platform-independent specification and verification of the standard mathematical square root function
   
   Model. Anal. Inform. Sist., 25:6 (2018),  637–666
2. Using SPIN for verification of multi-agent data analysis
   
   Model. Anal. Inform. Sist., 21:6 (2014),  31–43
3. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
4. Mars robot puzzle (a multiagent approach to the Dijkstra problem)
   
   Model. Anal. Inform. Sist., 18:2 (2011),  113–128