Symbolic Model-Checking Using ITS-Tools.

Yann Thierry-Mieg

Published in: TACAS (2015)

Keyphrases

symbolic model checking
model checking
formal verification
temporal logic
partial observability
conformant planning
data mining
machine learning
domain specific
software development
symbolic representation