A Formal Methods Approach to Medical Device Review.
Raoul Praful JetleyS. Purushothaman IyerPaul L. JonesPublished in: Computer (2006)
Keyphrases
- formal methods
- medical devices
- model checking
- provably correct
- formal analysis
- model checker
- formal specification
- knowledge based systems
- artificial intelligence
- process algebra
- temporal properties
- safety critical
- formal specification language
- medical diagnosis
- software engineering
- security properties
- open source
- development lifecycle
- reactive systems
- databases