台阶

斯坦福时间证明程序STeP是由REACT研究小组开发的，用于支持基于时序规范的反应式、实时和混合系统的计算机辅助形式化验证。与大多数用于时间验证的系统不同，STeP不局限于有限状态系统，而是将模型检查与演绎方法相结合，以允许对广泛的系统进行验证，包括参数化（N-元件）电路设计、参数化（N-过程）程序和具有无限数据域的程序。

此软件的关键字

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

zbMATH中的参考文献（参考文献36条)

显示第1到第20个结果，共36个。
按年份排序(引用)
  1. 傅君；吴金钊；谭红艳：代数转换系统推理的演绎方法（2015）
  2. 谢尔霍恩，格哈德；豆腐，博格丹；恩斯特，基顿；Pfähler，Jörg；Reif，Wolfgang:RGITL:交织程序组合推理的时序逻辑框架（2014）
  3. 平井静子；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
  4. Platzer，André：混合动力系统的微分动态逻辑（2008）
  5. 格鲁伯格，奥娜；Katz，Shmuel:VeriTech:a framework for translation in model description notations（2007年）ioport公司
  6. 亚历山大普雷施纳；普伦宁格，沃尔夫冈：状态机的计算重构（2007）ioport公司
  7. 方、易；麦克米兰，肯尼斯L。；普努埃利，阿米尔；扎克，莱诺尔D.：不可见不变量的活力（2006）
  8. 方、易；皮特曼，近红外；普努埃利，阿米尔；扎克，莱诺：活力与无形排名（2006）ioport公司
  9. 昆达吉，罗希特N。；Shyamandar，R.K.：精化演算：翻译验证、调试和认证的基础（2006）
  10. 伊普利亚，费鲁西奥·劳伦；Enea，Constantin:数据类型的抽象（2006）
  11. 凯斯顿，尤尼特；皮特曼，近红外；Pnueli，Amir:弥合公平模拟与痕量包含之间的差距（2005）
  12. 凯斯顿，尤尼特；Pnueli，Amir:CTL（^*）验证的组合方法（2005）
  13. Seow，Kiam Tian:基于语法的时间安全监管综合（2005）
  14. 扎克，莱诺；Pnueli，Amir:模型检查和抽象以帮助参数化系统（综述）（2004）
  15. 阿曼多，亚历山德罗；拉妮丝，西尔维奥：约束语境重写。（2003年）
  16. 森，古实；罗şu，格里戈；Agha，Gul：用联合归纳法产生最佳线性时序逻辑监视器。（2003年）
  17. 阿曼多，亚历山德罗；俄罗斯女巫，米夏埃尔；Stratulat，Sorin：将决策过程纳入内隐归纳法。（2002年）
  18. 厄尔维茨基，彼得·克萨巴；Meseguer，José：重写逻辑中的实时和混合系统规范（2002）
  19. 于惠群；何旭东；邓、易；Mo，Lian:基于SAM的实时系统的形式化分析（2002）
  20. 北卡罗来纳州比约纳。；曼娜，Z。；希普玛，H.B。；Uribe，T.E.：使用STeP对实时系统进行演绎验证（2001）