Modeling and Model Checking Mobile Phone Payment Systems.
Tim KempsterColin StirlingPublished in: FORTE (2003)
Keyphrases
- mobile phone
- model checking
- temporal logic
- formal verification
- formal specification
- payment systems
- mobile learning
- mobile devices
- model checker
- mobile users
- epistemic logic
- verification method
- formal methods
- mobile applications
- mobile phone users
- mobile commerce
- computation tree logic
- m learning
- alternating time temporal logic
- information systems
- user experience
- cost effective
- e learning