Improving medical protocols by formal methods.
Annette ten TeijeMar MarcosMichael BalserJoyce van CroonenborgChristoph DuelliFrank van HarmelenPeter J. F. LucasSilvia MikschWolfgang ReifKitty RosenbrandAndreas SeyfangPublished in: Artif. Intell. Medicine (2006)
Keyphrases
- formal methods
- security properties
- formal analysis
- safety critical
- formal specification
- process algebra
- model checking
- artificial intelligence
- software engineering
- protocol specification
- knowledge based systems
- model checker
- provably correct
- evidence based medicine
- development lifecycle
- medical practice
- communication protocol
- reactive systems
- medical data
- temporal logic
- information systems