VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
Gina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: CoRR (2018)
Keyphrases
- model checker
- image analysis
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- symbolic model checking
- computer vision
- test suite
- pattern recognition
- image segmentation
- domain independent
- mathematical morphology
- dynamic programming
- set theory
- artificial intelligence
- orders of magnitude
- linear programming
- belief revision
- distributed systems
- evolutionary algorithm
- data analysis
- specification language
- high level