Abstract interpretation
Related papers: 4
Top Researchers
Top Cited Papers
RTAMT: Online Robustness Monitors from STL
Dejan Ničković, Tomoya Yamaguchi
Citations: 65 • 2020
Static analysis techniques for robotics software verification
Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
Citations: 11 • 2013
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
Citations: 7 • 2003
Practical Program Understanding with Type Inference.
Robert O'Callahan, Daniel Jackson
Citations: 5 • 1996