A Comparison of Formal Verification Approaches for IEC 61499.

Jan Olaf Blech Per Lindgren David Pereira Valeriy Vyatkin Alois Zoitl

Published in: ETFA (2016)

Keyphrases

formal verification
model checking
artificial intelligence
data sets
neural network
fuzzy logic
domain independent
symbolic model checking
automated verification