[Impressum]
[Datenschutz]
[E-Mail]
[Back to the main project page]
Modeling a user-friendly Flashlight Application with IFlow
- Component Diagram
- Sequence Diagram
- Properties
- Policy
- Message Diagram
- formal specification (proofs are contained in the Properties specification)
- 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