The Role of Model Checking in Critiquing Based on Clinical Guidelines.
Perry GrootArjen HommersomPeter J. F. LucasRadu SerbanAnnette ten TeijeFrank van HarmelenPublished in: AIME (2007)
Keyphrases
- model checking
- clinical guidelines
- temporal logic
- automated verification
- formal specification
- free text
- model checker
- specification language
- formal verification
- verification method
- epistemic logic
- symbolic model checking
- formal methods
- computation tree logic
- temporal constraints
- bounded model checking
- general purpose
- medical knowledge
- formal representation
- ontology driven
- clinical practice
- clinical trials
- description language
- raw data
- functional dependencies
- distributed systems
- image processing