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.
Keywords:
DOI:
Issue
Pages:
67-75
File:
shilov_4.pdf
(279.65 KB)