Scholarlink

We present an approach to the verification of systems for whose description some elements – constants or functions – are underspecified and can be regarded as parameters, and, in particular, describe a method for automatically generating constraints on such parameters under which certain safety conditions are guaranteed to hold. We present an implementation and illustrate its use on several examples. We dedicate this paper to Werner Damm, whose contributions to the area of modeling and verification of complex systems were a source of inspiration for the work described here.

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

On the Verification of Parametric Systems

  • 章节

  • 发表日期：

    2026年

查看全文
  • Dennis Peuter,
  • Philipp Marohn,
  • Viorica Sofronie-Stokkermans

摘要

We present an approach to the verification of systems for whose description some elements – constants or functions – are underspecified and can be regarded as parameters, and, in particular, describe a method for automatically generating constraints on such parameters under which certain safety conditions are guaranteed to hold. We present an implementation and illustrate its use on several examples. We dedicate this paper to Werner Damm, whose contributions to the area of modeling and verification of complex systems were a source of inspiration for the work described here.