Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform.
Andreu Pere Isern-DeyàMagdalena Payeras-CapellàMacià Mut PuigserverJosep Lluís Ferrer-GomilaLlorenç Huguet i RotgerPublished in: Int. J. Bus. Intell. Data Min. (2013)
Keyphrases
- coloured petri nets
- formal verification
- android platform
- model checking
- mobile devices
- smart phones
- mobile applications
- model checker
- stream processing
- bounded model checking
- symbolic model checking
- automated verification
- data centric
- game development
- android application
- temporal logic
- software architecture
- mobile phone
- artificial intelligence