Towards a Hybrid Verification Approach.

Nahla A. El-Araby eva Kühn Anita Messinger Sophie Therese Radschek

Published in: STAF Workshops (2018)

Keyphrases

model checking
formal verification
learning algorithm
concurrent systems
data sets
machine learning
artificial intelligence
information systems
information technology
case based reasoning
face verification
formal methods
hybrid approaches