Model Checking for Clinical Guidelines: an Agent-based Approach.
Laura GiordanoPaolo TerenzianiAlessio BottrighiStefania MontaniLoredana DonzellaPublished in: AMIA (2006)
Keyphrases
- clinical guidelines
- model checking
- temporal logic
- free text
- formal specification
- specification language
- temporal constraints
- formal verification
- model checker
- patient data
- automated verification
- clinical trials
- symbolic model checking
- bounded model checking
- verification method
- clinical practice
- formal representation
- temporal aspects
- epistemic logic
- alternating time temporal logic
- formal methods
- medical knowledge
- orders of magnitude
- natural language processing
- ontology driven
- medical diagnosis
- semi automatic
- decision support system
- web services
- image processing