Proving nontermination via safety Hong-Yi Chen1 , Byron Cook2,1 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 University College London - Hong Yi - Document - PDFSEARCH.IO

First Page	Meta Content
	Proving nontermination via safety Hong-Yi Chen1 , Byron Cook2,1 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 University College London Add to Reading List Document Date: 2014-01-19 15:10:16 Open Document File Size: 402,03 KB Share Result on Facebook

Proving nontermination via safety Hong-Yi Chen1 , Byron Cook2,1 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 University College LondonAdd to Reading List