LTL Model Checking of Self Modifying Code.

Tayssir Touili, Xin Ye

Browse the full ICECCS paper archive.