A type system for resource protocol verification and its correctness proof.
Corneliu PopeeaWei-Ngan ChinPublished in: PEPM (2004)
Keyphrases
- temporal logic
- model checking
- model checker
- formal verification
- formal proof
- cryptographic protocols
- real time
- resource allocation
- resource management
- formal analysis
- lightweight
- network protocols
- web resources
- coloured petri nets
- protocol specification
- application layer
- resource constraints
- theorem prover
- multi agent
- neural network
- data sets