Formal verification of software-based medical devices considering medical guidelines.
Zamira DawRance CleavelandMarcus VetterPublished in: Int. J. Comput. Assist. Radiol. Surg. (2014)
Keyphrases
- medical devices
- formal verification
- model checking
- program slicing
- finite state machines
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- operating room
- source code
- location aware
- medical knowledge
- clinical guidelines
- user interface
- formal methods
- computer aided
- software architecture
- software development
- hidden markov models