Formal Verification of Device State Chart Models.

Fulvio Corno Muhammad Sanaullah

Published in: Intelligent Environments (2011)

Keyphrases

formal verification
model selection
data sets
artificial intelligence
prior knowledge
computational models
probabilistic model
domain specific
experimental data
model checking
statistical models
finite state machines
model checker