Williams, Graham Peter
Pain Management: Development of a Formally Verified Android Application Using EventB2SQL
This project is a case study on formal verification of an Android application used for pain management. When it comes to healthcare applications, the consistency of the application is crucial, as it may affect the wellbeing of...
ETD1
Williams, Graham Peter[remove]1
Android applications1
Event-B1
Rodin1
healthcare1
pain management1
Graphics and Human Computer Interfaces1
Theory and Algorithms1
English1
20161
Computer Science Honors Theses1
Dickinson College1