Scholarlink

Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. In this invited abstract, instead, we focus on spatial model checking. We briefly motivate its development and its application in the domain of medical imaging, providing a gentle guide to our recent work on that topic and future research lines.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Model Checking in Space with Applications to Medical Image Analysis

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Gina Belmonte,
  • Vincenzo Ciancia,
  • Diego Latella,
  • Mieke Massink

摘要

Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. In this invited abstract, instead, we focus on spatial model checking. We briefly motivate its development and its application in the domain of medical imaging, providing a gentle guide to our recent work on that topic and future research lines.