Temporal Verification of Android Apps

Presented on November 16, 2020
Presenter: Jacqui mai

Preview

Jacqui Mai discussed her work on specifying and verifying temporal behaviors about Android apps.