Toward proving the correctness of TCP protocol using CTL.
Rafat AlshormanPublished in: Int. Arab J. Inf. Technol. (2019)
Keyphrases
- tcp ip
- transmission control protocol
- model checking
- transport layer
- temporal logic
- end to end
- transport protocol
- model checker
- internet protocol
- correctness criterion
- ip networks
- lightweight
- cryptographic protocols
- high speed
- flow control
- bounded model checking
- link layer
- network layer
- wireless link
- network congestion
- application layer
- computation tree logic
- minimal change
- temporal properties
- congestion control