Reachability Analysis for Multiloop Programs Using Transition Power Abstraction.

Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich

Browse the full FM paper archive.