狮身人面像

SPHIN：基于SPIN的可重构混合系统模型检验器。提出了一种基于模型检验器SPIN的可重构混合系统模型检验器SPHIN。我们观察到物理（模拟）移动性可以用π演算中通过信道名传递来建模逻辑（离散）移动性的方法。我们选择SPIN是因为它支持通道名传递，并且可以对重新配置进行建模。我们扩展了PROMELA的语法和基于预期语义的验证算法。通过对一个可重构混合系统的建模和验证，我们展示了该工具的功能。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献5条,1标准件)

显示第1到第5个结果，共5个。
按年份排序(引用)

  1. 米勒，安德烈亚斯；米奇，斯特凡；雷茨切格，沃纳；施维格，威兰；Platzer，André：混合动力系统部件验证的变更和延期合同（2017年）
  2. 巴格纳，罗伯托；希尔，帕特里夏·M。；Zaffanella，Enea:多面体计算在硬件和软件系统分析和验证中的应用（2009）
  3. 伙计，嘉乐；Schellekens，Michel P.：行为混合过程演算（BHPC）中电子系统设计性能和功能分析的互操作性（2008）
  4. 拉齐克，兰科（编）；Nagarajan，Rajagopal（编辑）：第五届关键系统自动验证国际研讨会论文集（AVoCS 2005），英国考文垂沃里克大学，2005年9月12日至13日（2006年）
  5. 宋和松；康普顿，凯文J。；Rounds，William C.：SPHIN：基于SPIN的可重构混合系统模型检验器（2006）