[Impressum] [Datenschutz] [E-Mail] [Back to the main project page]

Modeling a user-friendly Flashlight Application with IFlow

  1. Component Diagram

  2. Sequence Diagram

  3. Properties

  4. Policy

  5. Message Diagram

  6. formal specification (proofs are contained in the Properties specification)

  7. Reference implementation

Flashlight apps are infamous for the permissions they require and the private user data they upload to the internet. We model a workable user-friendly flashlight app.

Component Diagram

Message Diagram

Sequence Diagrams