Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.
Jingjing ZhangLin YangXianming GaoGaigai TangJiyong ZhangQiang WangPublished in: IEEE Access (2021)
Keyphrases
- formal analysis
- symbolic model checking
- formal methods
- model checker
- ban logic
- model checking
- partial observability
- formal verification
- conformant planning
- agent model
- binary decision diagrams
- temporal logic
- formal specification
- symbolic representation
- artificial intelligence
- multi agent
- domain specific
- multi agent systems