Author(s)
Shilov Nikolay,
Yi K.
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
Issue
Computer Science, № 13, 2000
Pages
67-75