Sign in

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.

Qingkai ShiXiangzhe XuXiangyu 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