Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.

Weiyu Xu Xi Wu Yongxin Zhao Yongjian Li

Published in: SEKE (2022)

Keyphrases

network architecture
formal verification
artificial neural
neural network
data analysis
software systems
artificial intelligence
artificial neural networks
user interface
software development
model checking
network design
connection weights
symbolic model checking
automated verification