Automated Verification of an In-Production DNS Authoritative Engine.
Naiqian ZhengMengqi LiuYuxing XiangLinjian SongDong LiFeng HanNan WangYong MaZhuo LiangDennis CaiEnnan ZhaiXuanzhe LiuXin JinPublished in: SOSP (2023)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- production system
- temporal logic
- load balancing
- manufacturing processes
- production scheduling
- neural network
- air fuel ratio
- production planning
- genetic algorithm
- graph theory
- product quality
- probabilistic reasoning
- constraint satisfaction
- raw material
- semiconductor manufacturing
- metaheuristic
- artificial intelligence