Nom Zhangeldinov Prénom Olzhas Téléphone Bureau Mail Olzhas.Zhangeldinov@irif.fr Page web https://www.irif.fr/~zhangeldinov/ LTL Model Checking of Concurrent Self Modifying Code - Full Version