LTL model checking of self modifying code (Q6102164)
From MaRDI portal
scientific article; zbMATH DE number 7683087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | LTL model checking of self modifying code |
scientific article; zbMATH DE number 7683087 |
Statements
LTL model checking of self modifying code (English)
0 references
8 May 2023
0 references
malware detection
0 references
model checking
0 references
automata
0 references
0 references
