Spin для головоломок: Использование системы проверки моделей SPIN для решения японской головоломки о переправе через реку и головоломки "Куб-1"

Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube

Article's language
English
Author(s)
Evgeny Viktorovich Bodin
Abstract
This paper describes how the SPIN model checker can be applied to solving puzzles, such as riverIQGame (an advanced “wolf, goat and cabbage” puzzle) or “Irregular IQ Cube” (also known as ‘Square-1’).
Keywords
SPIN
verification
DOI
10.31144/si.2307-6410.2013.n2.p101-116
UDK
004.02
Pages
101-116
File
cubesolve3.pdf128.43 KB
Number
# 2, 2013