Teaching Formal Models of Concurrency Specification and Analysis

by N. V. Shilov
Published 2015-12-01

F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers

by N. V. Shilov
Published 2010-12-01

Verification of Backtracking and Branch and Bound Design Templates

by N. V. Shilov
Published 2011-12-01

From the Editors of the Issue

by V. A. Zakharov, N. V. Shilov
Published 2020-12-01

“Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

by A. Yu. Bernstein, N. V. Shilov
Published 2013-04-01

“Robots in Space” Multiagent Problem: Complexity, Information and Cryptographic Aspects

by A. Yu. Bernstein, N. V. Shilov
Published 2013-01-01

Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

by E. V. Bodin, N. O. Garanina, N. V. Shilov
Published 2011-06-01