Formal Verification of Medical Device User Interfaces Using PVS.
Paolo MasciYi ZhangPaul L. JonesPaul CurzonHarold W. ThimblebyPublished in: FASE (2014)
Keyphrases
- formal verification
- user interface
- model checking
- medical devices
- model checker
- automated verification
- human computer interaction
- bounded model checking
- symbolic model checking
- medical domain
- medical experts
- program slicing
- medical data
- user experience
- expert systems
- design principles
- timed automata
- medical knowledge
- medical diagnosis
- graphical user interfaces
- temporal logic
- user friendly
- user interaction