LTL Model Checking of Self Modifying Code. - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

LTL Model Checking of Self Modifying Code.

Tayssir Touili
Xin Ye
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-03902471 , version 1 (15-12-2022)

Identifiants

  • HAL Id : hal-03902471 , version 1

Citer

Tayssir Touili, Xin Ye. LTL Model Checking of Self Modifying Code.. ICECCS, 2019, Guangzhou, China. ⟨hal-03902471⟩
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More