Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.

K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor

Browse the full FM paper archive.