Scholarlink

Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.

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

Ten Years of Spatial Model Checking

  • 章节

  • 发表日期：

    2025年

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

摘要

Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.