Formal Verification approaches of Self-adaptive Systems: A Survey.

Marwa Hachicha Riadh Ben Halima Ahmed Hadj Kacem

Published in: KES (2019)

Keyphrases

formal verification
data sets
automated verification
learning systems
model checking
distributed systems
computer systems
complex systems
commercial systems
machine learning
learning algorithm
control system
intelligent systems