Evgeny V. Bodin E-mail bodin@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — researcher
Bodin E. An approach to using Golang programs for the specification and verification of distributed systems // Computer Science. — 2023. — # 47 — P. 1-9
Shilov N., Bodin E., Shilova S. Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler // Computer Science. — 2010. — # 31 — P. 139-154
Shilov N., Bodin E., Shilova S. Fabulous arrays I: Operational and transformational semantics of static arrays in verification project F@BOOL@ // Computer Science. — 2009. — # 29 — P. 119-138
Anureev I., Bodin E., Gorodnyaya L., Marchuk A., Murzin F., Shilov N. On the problem of computer language classification // Computer Science. — 2008. — # 28 — P. 31-42
Anureev I., Bodin E., Shilov N. Effective generation of verification conditions for non-deterministic unstructured programs // Computer Science. — 2007. — # 26 — P. 39-63
Bodin E. Towards animation of executional specifications of the REAL language // Computer Science. — 1999. — # 12 — P. 6-9
Nepomniaschy V., Shilov N., Bodin E. Formal semantics and verification of distributed systems presented by Basic-REAL specifications // Computer Science. — 1997. — # 7 — P. 35-55
