Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

Marianne De Michiel, Armelle Bonenfant, Hugues Cass, Pascal Sainrat

Browse the full RTCSA paper archive.