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

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

Article's language
English
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
DOI
10.31144/si.2307-6410.2013.n2.p101-116
UDK
Pages
101-116
File
Number