LTL Model Checking of Concurrent Self Modifying Code.

Tayssir Touili, Olzhas Zhangeldinov

Browse the full ICECCS paper archive.