Building A State-Of-The-Art Model Checker.

Sebastian Wolff

Published in: GI-Jahrestagung (2015)

Keyphrases

model checker
model checking
formal verification
description language
formal methods
formal specification
temporal logic
set theory
symbolic model checking
test suite
artificial intelligence
reinforcement learning
computational intelligence
planning domains