Model Checking a Server-Side Micro Payment Protocol.
Kaylash ChaudharyAnsgar FehnkerPublished in: FMICS (2015)
Keyphrases
- model checking
- payment protocol
- temporal logic
- formal analysis
- formal methods
- formal specification
- temporal properties
- payment systems
- model checker
- automated verification
- credit card
- formal verification
- computation tree logic
- bounded model checking
- symbolic model checking
- epistemic logic
- transition systems
- verification method
- timed automata
- linear temporal logic
- high volume
- artificial intelligence
- knowledge discovery