An Application of Justification Logic to Protocol Verification.
Thomas StuderPublished in: CIS (2011)
Keyphrases
- model checker
- model checking
- formal verification
- cryptographic protocols
- asynchronous circuits
- protocol specification
- formal methods
- verification method
- bounded model checking
- temporal logic
- epistemic logic
- formal analysis
- set theory
- lightweight
- formal specification
- linear time temporal logic
- multi valued
- modal logic
- formal proof
- linear temporal logic
- colored petri nets
- tcp ip
- predicate logic
- authentication protocol
- classical logic
- face verification
- database systems
- functional verification
- coloured petri nets
- proof theory
- communication protocol
- security protocols
- automated reasoning
- first order logic
- logic programming