台阶

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


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)