Type Abstraction in Formal Protocol Specifications with Container Types.
Joachim TheesPublished in: FORTE (2003)
Keyphrases
- formal specification
- high level
- multiple types
- formal analysis
- lightweight
- data abstraction
- formal language
- neural network
- protocol specification
- reactive systems
- specification language
- cryptographic protocols
- formal methods
- database
- operational semantics
- communication protocol
- tcp ip
- model checker
- formal model
- requirements specification
- bounded model checking