CHC-Based Reachability Analysis via Cycle Summarization.

Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina

Browse the full IFM paper archive.