Login / Signup
Inferring State Machine from the Protocol Implementation via Large Langeuage Model.
Haiyang Wei
Zhengjie Du
Haohui Huang
Yue Liu
Guang Cheng
Linzhang Wang
Bing Mao
Published in:
CoRR (2024)
Keyphrases
</>
state machine
probabilistic model
computational model
learning algorithm
cost function
lightweight
statistical model
experimental data
conceptual model
data sets
bayesian networks
probability distribution
theoretical analysis
mathematical model
state machines