Implementing a Model Checker for LEGO.

Shenwei Yu Zhaohui Luo

Published in: FME (1997)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
set theory
symbolic model checking
specification language
ai planning
planning domains
genetic algorithm
machine learning
artificial intelligence