Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover.
Eric SmithAlessandro CoglioPublished in: VSTTE (2015)
Keyphrases
- android platform
- theorem prover
- mobile devices
- mobile applications
- smart phones
- formal proof
- stream processing
- data centric
- android application
- theorem proving
- game development
- inference rules
- first order logic
- term rewriting
- software architecture
- automated theorem proving
- natural deduction
- mobile phone
- model checking
- proof search
- data mining
- artificial intelligence
- simulated annealing
- data processing
- business processes
- user experience