台阶

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