[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




Properties






Policy