Proving non-termination

Open Webpage

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

Published: 2008, Last Modified: 04 May 2026POPL 2008EveryoneRevisionsBibTeXCC BY-SA 4.0