Verifying Maze-Like Game Levels With Model Checker SPIN.

Onur Tekik Elif Sürer Aysu Betin Can

Published in: IEEE Access (2022)

Keyphrases

model checking
model checker
temporal logic
formal verification
formal methods
symbolic model checking
formal specification
game playing
description language
game theory
test suite
data model
knowledge acquisition