Compositional verification of a medical device system.
Anitha MurugesanMichael W. WhalenSanjai RayadurgamMats Per Erik HeimdahlPublished in: HILT (2013)
Keyphrases
- medical devices
- model checking
- medical diagnosis
- medical experts
- formal analysis
- medical students
- medical imaging
- remote server
- medical diagnostic
- medical information
- medical care
- functional verification
- web services
- verification method
- cryptographic protocols
- formal verification
- medical knowledge
- medical records
- formal methods
- medical data
- health care