healthcare
Event-B
Pain Management: Development of a Formally Verified Android Application Using EventB2SQL
Williams, Graham Peter
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 Peter1
Android applications1
Event-B[remove]1
Rodin1
healthcare[remove]1
pain management1
Graphics and Human Computer Interfaces1
Theory and Algorithms1
English1
20161
Computer Science Honors Theses1
Dickinson College1