神圣的

此软件的关键字
zbMATH参考文献(参考
55篇文章
弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020) Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年) Chini,Peter;Kolberg,Jonathan;Krebs,Andreas;Meyer,Roland;Saivasan,Prakash:论有界上下文转换的复杂性(2017) Barnat,Jiří;Bauch,Petr;Beneš,Nikola;Brim,Luboš;Beran,Jan;Kratochvíla,Tomš:分析航空电子系统需求的合理性(2016年) Bérard,Béatrice;Lafourcade,Pascal;Millet,Laure;Potop Butucaru,Maria;Thierry Mieg,Yann;Tixeuil,Sébastien:移动机器人协议的正式验证(2016年) Dobrikov,Ivaylo;Leuschel,Michael:使用偏序缩减优化B的ProB模型检查器(2016) Barnat,Jiří:Quo-vadis显式状态模型检查(2015) Daniel Dietsch;Heizmann,Matthias;Langenfeld,Vincent;Podelski,Andreas:《公平模理论:LTL软件模型检查的新方法》(2015) Wang,Bing;Deng,Bo;Xing,Fei;Wang,Dongxia;Yao,Yiping:分区事件图:基于LP的并行离散事件仿真建模的形式化(2015) Brim,L.;Dluhoš,P.;Нafránek,D.;Vejpustek,T.:STL*:扩展信号时间逻辑与信号值冻结运算符(2014) Barnat,Jiři;Brim,Luboš;Havel,Vojtěch;Havlíek,Jan;Kriho,Jan;Lenčo,米兰;Ročkai,Petr;Shtill,Vladimír;Weiser,Jiři:Diven 3.0——多线程C(&)C++程序的显式状态模型检查器(2013) ioport公司 Brim,Luboš;šeška,米兰;šafránek,大卫:生物系统的模型检查(2013) 克兰,Sjoerd;Groote,Jan Friso;Keiren,Jeroen J.A.;Stappers,Frank P.M.;de Vink,Erik P.;Wesselink,Wieger;Willemse,Tim A.C.:mCRL2工具集及其最新进展概述(2013年) Evangelista,Sami;Kristensen,Lars Michael:用于外部内存状态空间探索的动态状态空间划分(2013) ioport公司 Křena,Bohuslav;Vojnar,Tomš:自动化形式分析和验证:概述(2013年) Lamo,Yngve;Wang,Xiaoliang;Mantz,Florian;Bech,Øywind;Sandven,Anders;Rutle,Adrian:DPF workbench:MDE的多级语言工作台(2013) ioport公司 Babiak,Tomš;Řehák,Vojtěch;Strejček,Jan:几乎线性的Büchi自动机(2012) Barnat,Jiří;Bauch,Petr;Brim,Luboš;ška,米兰:为许多核心GPU设计快速LTL模型检查算法(2012) ioport公司 Barnat,Jiri;Beran,Jan;Brim,Lubos;Kratochvíla,Tomas;Ročkai,Petr:支持航空电子设备simulink设计自动正式验证的工具链(2012年) ioport公司 Barnat,Jiří;Brim,Luboš;Ročkai,Petr:用于验证弱LTL特性的动态并行模型检查算法(2012)