Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol.
Lin LiuJonathan BillingtonPublished in: PDCAT (2007)
Keyphrases
- model checker
- symbolic representation
- model checking
- cryptographic protocols
- tcp ip
- formal analysis
- formal verification
- protocol specification
- programming language
- language learning
- natural language
- asynchronous circuits
- symbolic knowledge
- formal methods
- high level
- communication protocol
- temporal logic
- neural network
- operational semantics
- speech acts
- security protocols
- specification language
- formal specification
- information exchange
- symbolic description
- formal proof