Protocol verification using reachability analysis: the state space explosion problem and relief strategies.
Fuchun J. LinP. M. ChuMing T. LiuPublished in: Comput. Commun. Rev. (1987)
Keyphrases
- reachability analysis
- model checking
- model checker
- state space
- markov decision processes
- temporal logic
- timed automata
- formal verification
- cryptographic protocols
- formal methods
- markov chain
- formal analysis
- reinforcement learning
- finite state
- protocol specification
- dynamical systems
- particle filter
- dynamic programming
- heuristic search
- incremental algorithms
- real time