台阶

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


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. 《使用实时系统的演绎》(STeP:Mannet,2001);M-R,Sø