特雷克斯

此软件的关键字
zbMATH参考文献(46篇文章引用, 1标准件 )
Finkel,Alain;Praveen,M.:扁平FIFO系统的验证(2020年) Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2016) Yang Dongéné2014;Liu Jinéreal time;实时综合;And JunéYang,2014 Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013) Heußner,Alexander;Le Gall,Tristan;Sutre,Grégoire:McScM:通信机器验证的通用框架(2012) ioport公司 Bouajjani,Ahmed;Bozga,Marius;Habermell,Peter;Iosif,Radu;Moro,Pierre;Vojnar,Tomš:带有列表的程序是反自动机(2011) Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2011) André,Étienne;Fribourg,Laurent:时间自动机行为制图(2010) Bersani,Marcello M.;Cavallaro,Luca;Frigeri,Achille;Pradella,Matteo;Rossi,Matteo:基于SMT的带整数约束的LTL规范验证及其在服务可替代性运行时检查中的应用(2010) ioport公司 Bozga,Marius;Iosif,Radu;Konečný,Filip:最终周期关系的快速加速(2010) Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010) Harris,William R.;Lal,Akash;Nori,Aditya诉;Rajamani,Sriram K.:终止变更(2010年) 杰森·奥尔蒂斯,詹姆斯;莱盖,阿克塞尔;斯科本斯,皮埃尔·伊夫:《记忆事件时钟》(2010) Kalyanasundaram,Bala;Velauthapillai,Mahe:函数的学习行为(2010) Yohan Boichut;Héam,Pierre Cyrille;Kouchnarenko,Olga:如何处理整数加权自动机正性(2009) Bouchy,Florent;Finkel,Alain;Sangnier,Arnaud:定时计数器系统中的可达性(2009) 芬克尔,阿兰;洛兹,埃蒂安;桑尼尔,阿诺:走向模型检查程序与清单(2009年) Rapin,Nicolas:基于符号执行的具有无界变量的开放系统模型检查(2009) Bardin,Sébastien;Finkel,Alain;Leroux,Jérôme;Petrucci,Laure:快速:从理论到实践的加速(2008) ioport公司 Bouchy,Florent;Finkel,Alain;Leroux,Jérôme:整数和实数上可判定一阶逻辑的分解(2008) ioport公司