Verifying Behavioral UML Systems via CEGAR.

Yael Meller Orna Grumberg Karen Yorav

Published in: IFM (2014)

Keyphrases

expert systems
learning systems
management system
computer systems
building blocks
complex systems
neural network
learning algorithm
case study
formal methods
uml models