nuXmv公司

此软件的关键字
zbMATH参考文献(参考
21篇文章
参考)
Bohlender,Dimitri;Kowalewski,Stefan:利用Horn子句解决PLC软件的组合验证(2020) Cimatti,Alessandro;Griggio,Alberto;Magnago,Enrico;Roveri,Marco;Tonetta,Stefano:基于SMT的带有事件冻结函数和度量运算符的一阶LTL满意度(2020) Luttenberger,Michael;Meyer,Philipp J.;Sickert,Salomon:通过平价博弈从LTL规范中实际合成反应系统(2020年) 秦旭东;Bliudze,Simon;Madelaine,Eric;侯泽晨;邓宇欣;张敏:基于SMT的符号自动机生成(2020) Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019) Geatti,Luca;Gigante,Nicola;Montanari,Angelo:LTL的基于SAT的单通树形表格系统编码(2019) 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用(2019) 特伦丁,帕特里克;塞巴斯蒂安,罗伯托:浮点数理论的优化模(2019) Bendík,Jaroslav;Ch erná,Ivana:对最小不满足子集计数的领域不可知论方法的评估(2018) Cimatti,Alessandro;Demasi,Ramiro;Tonetta,Stefano:加强系统架构的合同细化(2018) Cimatti,Alessandro;Griggio,Alberto;Irfan,Ahmed;Roveri,Marco;Sebastiani,Roberto:可满足性的增量线性化与验证模非线性算法与超越函数(2018) 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018) Cabodi,G.;Camura,P.E.;Mishchenko,A.;Palena,M.;Pasini,P.:IC3中的SAT解算器管理策略:实验方法(2017) Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017) Szpyrka,Marcin;Jasiul,Bartosz:用Petri网评估网络安全和风险传播建模(2017) Cimatti,Alessandro;Griggio,Alberto;Mover,Sergio;Tonetta,Stefano:用IC3和谓词抽象进行无限状态不变检查(2016) Konnov,Igor;Veith,Helmut;Widder,Josef:《关于容错分布式算法的模型检查,你一直想知道的》(2016) Molnár,Vince;Vörös,András;Darvas,Dániel;Bartha,Tamás;Majzik,István:组件增量LTL模型检查(2016) Szpyrka,Marcin;Biernacki,Jerzy;Biernacka,Agnieskka:RTCP网络建模和验证的工具和方法(2016) Cimatti,Alessandro;Roveri,Marco;Tonetta,Stefano:HRELTL:混合动力系统的时序逻辑(2015)