Spatial Logics and Model Checking for Medical Imaging (Extended Version).
Fabrizio Banci BuonamiciGina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: CoRR (2018)
Keyphrases
- medical imaging
- model checking
- epistemic logic
- temporal logic
- medical images
- coalition logic
- x ray
- modal logic
- image segmentation
- image analysis
- image processing and analysis
- automated verification
- formal verification
- image registration
- medical image processing
- formal specification
- model checker
- imaging modalities
- symbolic model checking
- temporal properties
- biomedical engineering
- computation tree logic
- image guided surgery
- verification method
- timed automata
- remote sensing
- transition systems
- image processing
- volumetric data
- concurrent systems
- reachability analysis
- computer vision
- pspace complete
- expressive power
- reactive systems
- inference rules
- bounded model checking
- process algebra
- three dimensional
- asynchronous circuits
- petri net
- linear temporal logic
- test cases
- deterministic finite automaton