Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper.
Irina Mariuca AsavoaeHoang Nga NguyenMarkus RoggenbachSiraj Ahmed ShaikhPublished in: FTfJP@ECOOP (2017)
Keyphrases
- model checking
- verification method
- mobile apps
- temporal logic
- formal verification
- formal methods
- automated verification
- formal specification
- symbolic model checking
- model checker
- reactive systems
- software systems
- mobile applications
- timed automata
- bounded model checking
- temporal properties
- transition systems
- epistemic logic
- software development
- computation tree logic
- software architecture
- m learning
- business models
- user interface
- control flow
- software testing
- domain independent