Symbolic Techniques for Formally Verifying Industrial Systems.

Sérgio Vale Aguiar Campos Edmund M. Clarke Marius Minea

Published in: Sci. Comput. Program. (1997)

Keyphrases

industrial systems
industrial applications
complex systems
fault diagnosis
computational intelligence
intelligent systems
symbolic representation
model checking
neural network
symbolic data
neural learning
computer science
fuzzy logic
case study
decision making
high level
binary decision diagrams