Proving Non-Termination

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu

Details

Publication typeInproceedings
Published inPOPL'2008: Principles of Programming Languages
Pages147–158
PublisherACM Press
> Publications > Proving Non-Termination