scholarly journals NetVerify 2021 - Network Verification Workshop

2021 ◽  
Keyword(s):  
Network Verification

scholarly journals Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures

2015 ◽  
Vol 6 (2) ◽  
pp. 843-852 ◽  
Author(s):  
Takeru Inoue ◽  
Norihito Yasuda ◽  
Shunsuke Kawano ◽  
Yuji Takenobu ◽  
Shin-ichi Minato ◽  
...  
Keyword(s):  
Distribution Network ◽  
Network Verification

Demo: The Neural Network Verification (NNV) Tool

2020 ◽  
Author(s):  
Hoang-Dung Tran ◽  
Diego Manzanas Lopez ◽  
Xiaodong Yang ◽  
Patrick Musau ◽  
Luan Viet Nguyen ◽  
...  
Keyword(s):  
Neural Network ◽  
The Neural Network ◽  
Network Verification

scholarly journals Network verification via routing table queries

2015 ◽  
Vol 81 (1) ◽  
pp. 234-248 ◽  
Author(s):  
Evangelos Bampas ◽  
Davide Bilò ◽  
Guido Drovandi ◽  
Luciano Gualà ◽  
Ralf Klasing ◽  
...  
Keyword(s):  
Routing Table ◽  
Network Verification
Sign in / Sign up

Export Citation Format

Share Document