A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges.
Yahui LiXia YinZhiliang WangJiangyuan YaoXingang ShiJianping WuHan ZhangQing WangPublished in: IEEE Commun. Surv. Tutorials (2019)
Keyphrases
- formal methods
- model checking
- safety critical
- model checker
- formal specification
- formal analysis
- development lifecycle
- software engineering
- peer to peer
- knowledge based systems
- process algebra
- protocol specification
- provably correct
- network structure
- formal verification
- modeling language
- data flow
- fault tolerant
- data mining
- real world