Empirically Efficient Verification for a Class of Infinite-State Systems.

Jesse D. Bingham, Alan J. Hu

Browse the full TACAS paper archive.