A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software.

Hoang-Viet Tran Pham Ngoc Hung

Published in: KSE (2021)

Keyphrases

detection method
preprocessing
experimental evaluation
verification method
objective function
video sequences
significant improvement
synthetic data
model checking
neural network
relational databases
software engineering
high accuracy
classification method