Software Model Checking: A Promising Approach to Verify Mobile App Security.
Irina Mariuca AsavoaeHoang Nga NguyenMarkus RoggenbachSiraj Ahmed ShaikhPublished in: CoRR (2017)
Keyphrases
- model checking
- verification method
- mobile apps
- temporal logic
- formal verification
- formal methods
- model checker
- symbolic model checking
- formal specification
- temporal properties
- mobile applications
- reactive systems
- automated verification
- timed automata
- epistemic logic
- software systems
- bounded model checking
- computation tree logic
- test suite
- software developers
- software architecture
- artificial intelligence
- software components
- transition systems
- test cases
- software development