台阶

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

此软件的关键字

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

zbMATH参考文献（36篇文章引用）

显示第1到第20个结果，共36个。
按年份排序(引用)
  1. 傅军；吴金钊；谭红艳：代数转移系统推理的演绎方法（2015）
  2. Gerhard Schellhorn；Tofan，Bogdan；Ernst，Gidon；Pfähler，Jörg；Reif，Wolfgang:RGITL：关于交错程序的组合推理的时序逻辑框架（2014）
  3. Hiraishi，Kunihiko；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
  4. Platzer，André：混合动力系统的微分动态逻辑（2008）
  5. Grumberg，Orna；Katz，Shmuel:VeriTech:a framework for translation in model description notations（2007年）ioport公司
  6. Alexander Pretschner；Wolfgang Prenninger:状态机的计算重构（2007）ioport公司
  7. Fang，Yi；McMillan，Kenneth L.；Pnueli，Amir；Zuck，Lenore D.：无形不变量的活力（2006）
  8. 方，易；皮特曼，奈尔；普努埃利，阿米尔；扎克，勒诺：活力与无形排名（2006）ioport公司
  9. Kundaji，Rohit N.；Shyamasundar，R.K.：精化演算：翻译验证、调试和认证的基础（2006）
  10. Ţiplea，Ferucio Laurenţiu；Enea，Constantin:数据类型的抽象（2006）
  11. Kesten，Yonit；Piterman，Nir；Pnueli，Amir:弥补公平模拟和痕量包含之间的差距（2005年）
  12. Kesten，Yonit；Pnueli，Amir:CTL（^*）验证的组合方法（2005）
  13. Seow，Kiam Tian:基于语法的时间安全监管综合（2005）
  14. Zuck，Lenore；Pnueli，Amir:模型检查和抽象以帮助参数化系统（综述）（2004）
  15. Armando，Alessandro；Ranise，Silvio:约束上下文重写。（2003年）
  16. Sen，Koushik；Roşu，Grigore；Agha，Gul:通过共同归纳生成最佳线性时序逻辑监控器。（2003年）
  17. Armando，Alessandro；Rusinowitch，Michaël；Stratulat，Sorin：将决策过程纳入内隐归纳法。（2002年）
  18. 厄尔维茨基，彼得·卡萨巴；梅斯盖尔，何塞：重写逻辑中实时和混合系统的规范（2002）
  19. 于惠群；何旭东；邓毅；莫莲莲：实时系统的形式化分析（2002）
  20. Bjørner，N.S.；Manna，Z.；Sipma，H.B.；Uribe，T.E.：使用STeP的实时系统的演绎验证（2001）