EPVerifier: Accelerating Update Storms Verification with Edge-Predicate.
Chenyang ZhaoYuebin GuoJingyu WangQi QiZirui ZhuangHaifeng SunLingqi GuoYuming XieJianxin LiaoPublished in: NSDI (2024)
Keyphrases
- edge detection
- model checking
- edge detector
- edge information
- first order logic
- verification method
- image analysis
- weighted graph
- edge map
- face verification
- asynchronous circuits
- formal analysis
- weather prediction
- machine learning
- monotonicity constraints
- concurrent systems
- multiple scales
- formal methods
- data structure
- image sequences
- information systems
- artificial intelligence