Temporal Verification of Android Apps
Presented on November 16, 2020
Presenter: Jacqui mai
Presenter: Jacqui mai
Preview
Jacqui Mai discussed her work on specifying and verifying temporal behaviors about Android apps.
Jacqui Mai discussed her work on specifying and verifying temporal behaviors about Android apps.