Zobrazeno 1 - 7
of 7
pro vyhledávání: '"LTL (Linear Temporal Logic)"'
Autor:
Ye, Xin
Publikováno v:
Logic in Computer Science [cs.LO]. Université de Paris; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩
A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to detect by anti-viruses. Thus, the analysis of such self modifying progra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ffdb827966f47842c9f5fcf682bca5c2
https://tel.archives-ouvertes.fr/tel-02972592/document
https://tel.archives-ouvertes.fr/tel-02972592/document
Autor:
Ye, Xin
Publikováno v:
Logic in Computer Science [cs.LO]. Université de Paris; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩
A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to detect by anti-viruses. Thus, the analysis of such self modifying progra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::ffdb827966f47842c9f5fcf682bca5c2
https://tel.archives-ouvertes.fr/tel-02972592/document
https://tel.archives-ouvertes.fr/tel-02972592/document
Autor:
Pommellet, Adrien
Cette thèse introduit différentes méthodes de vérification (ou model-checking) sur des modèles de systèmes à pile. En effet, les systèmes à pile (pushdown systems) modélisent naturellement les programmes séquentiels grâce à une pile infi
Externí odkaz:
http://www.theses.fr/2018USPCC207/document
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.