Cited By
View all- Miné A(2017)Tutorial on Static Inference of Numeric Invariants by Abstract InterpretationFoundations and Trends in Programming Languages10.1561/25000000344:3-4(120-372)Online publication date: 5-Dec-2017
- Cousot P(2015)Abstracting Induction by Extrapolation and InterpolationProceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 893110.1007/978-3-662-46081-8_2(19-42)Online publication date: 12-Jan-2015
- Cortesi AFerrara PChaki N(2013)Static analysis techniques for robotics software verificationIEEE ISR 201310.1109/ISR.2013.6739742(1-6)Online publication date: Oct-2013
- Show More Cited By