Abstract interpretation
相关论文数: 4
顶级研究者
最高引用论文
RTAMT: Online Robustness Monitors from STL
Dejan Ničković, Tomoya Yamaguchi
引用数: 65 • 2020
Static analysis techniques for robotics software verification
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
引用数: 11 • 2013
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
引用数: 7 • 2003
Practical Program Understanding with Type Inference.
Robert O'Callahan, Daniel Jackson
引用数: 5 • 1996