×

找到4个软件包（结果1-4）

引文 按字母顺序

NuSMV公司

软件作者：亚历山德罗·西马蒂；埃德蒙·克拉克（Edmund Clarke）；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover
引用于： 266出版物（1999-2022）
相关软件： 自旋蛋白；Uppaal；CUDD；糠；棱镜；班德拉…
主要字段： （68Q60-XX）

波诺

软件作者：Mann，M.等人。
引用于： 1出版物（2021年）
相关软件： 谷歌测试；z3；PySMT；数学SAT5；赛马拉松；CVC4…
主要字段： –

PLSMC公司

软件作者：庞涛；段振华；刘晓芳
引用于： 1出版物（2015）
相关软件： CUDD；NuSMV公司
主要字段： （68Q60-XX）；（03B44-XX）

纸莎草纸-RT

软件作者：萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳
引用于： 0出版物
相关软件： –
主要字段： –