Identifying Mobile Repackaged Applications through Formal Methods.
Fabio MartinelliFrancesco MercaldoVittoria NardoneAntonella SantoneCorrado Aaron VisaggioPublished in: ICISSP (2017)
Keyphrases
- formal methods
- model checking
- formal analysis
- artificial intelligence
- formal specification
- mobile devices
- mobile phone
- knowledge based systems
- safety critical
- process algebra
- provably correct
- reactive systems
- model checker
- formal specification language
- development lifecycle
- mobile users
- mobile learning
- software engineering
- temporal properties
- modeling language
- quality of service
- building blocks
- databases