Rethinking DNS Configuration Verification with a Distributed Architecture.
Yao WangKexin YuZiyi WangKaiqiang HuHaizhou DuQiao XiangXing FangGeng LiRuiting ZhouLinghe KongJiwu ShuPublished in: APNet (2024)
Keyphrases
- distributed architecture
- multi robot
- load balancing
- intelligent user interfaces
- model checking
- verification method
- face verification
- formal verification
- heterogeneous systems
- optimal configuration
- temporal logic
- computer systems
- database
- formal methods
- formal analysis
- signature verification
- case study
- data sets
- real time