On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.

Hoang-Viet Tran Pham Ngoc Hung Dang Van Hung

Published in: KSE (2018)

Keyphrases

verification method
component based software
model checking
temporal logic
software systems
integration testing
timed automata
web applications
finite state machines
discrete event
significant improvement
petri net
machine learning
cooperative
data structure
reinforcement learning
web services
computer vision