Login / Signup
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.
Qingkai Shi
Xiangzhe Xu
Xiangyu Zhang
Published in:
CoRR (2023)
Keyphrases
</>
state machine
formal analysis
image analysis
database
data sets
case study
database systems
data analysis
lightweight
quality of service
fault tolerant
quantitative analysis
static analysis
state machines