Abstract
The paper discusses some issues related to model checking utility and reliability: (1) utility of model checking and games for solving puzzles, and (2) importance of games and puzzles for validation of model checkers.
File
shilov.pdf279.65 KB
Pages
67-75