Evgeny V. Bodin
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — researcher
List of Articles:
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