Verification of Clinical Guidelines by Model Checking.
Beatriz PérezIvan PorresPublished in: CBMS (2008)
Keyphrases
- model checking
- clinical guidelines
- temporal logic
- formal specification
- formal verification
- automated verification
- specification language
- model checker
- verification method
- free text
- clinical trials
- temporal constraints
- formal methods
- symbolic model checking
- patient data
- bounded model checking
- clinical practice
- formal representation
- concurrent systems
- epistemic logic
- temporal aspects
- computation tree logic
- asynchronous circuits
- medical knowledge
- structured data
- decision making
- alternating time temporal logic
- ontology driven
- planning domains
- medical imaging
- search algorithm
- web services