×

找到41个软件包(结果1-41)

EasyCrypt公司

35篇文献引用(2011–2022)
软件作者: 吉尔·巴特;本杰明·格雷戈里;Sylvain Heraud;贝盖林,圣地亚哥·扎内拉
相关软件: Coq;F*;AVISPA…
主要字段: (94A60-XX);(68P25-XX);(91A80-XX)

诺恩

15篇文献引用(2017–2023)
软件作者: Abdulla,P.A.,Atig,M.F.,Chen,Y.-F.,Holík,L.,Rezine,A.,Rümmer,P.,Stenman,J。
相关软件: CVC4;陌生人;S3…
主要字段:

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: (68Q60-XX);(68N30-XX);(68T20-XX)…

SMTCoq公司

12份文件引用(2017–2022)
软件作者: Ekici,B.等人。
相关软件: Coq;CVC4;Isabelle/HOL…
主要字段:

名古屋终止工具

引用于9份文件(2014–2022)
软件作者: 山田,A.,Kusakari,K.,Sakabe,T。
相关软件: 蒂罗尔;NaTT;AProVE…
主要字段:

ESBMC公司

4份文件引用(2014–2020)
软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;卢卡斯·科尔代罗(Lucas Cordeiro);杰里米·莫尔斯(Jeremy Morse);妮可,丹尼斯;伯恩德·菲舍尔
相关软件: CBMC;LLBMC;爆炸…
主要字段:

路易斯

8份文件引用(2017–2022)
软件作者: 科普琴斯基,埃里克;西门托伦奇克
相关软件: NLambda;z3;连接…
主要字段: (68N30-XX);(68Q55-XX)

H-PILoT公司

6篇文献引用(2009–2021)
软件作者: Carsten Ihlemann,Viorica Sofrone-Stokkermans公司
相关软件: z3;REDLOG;草蜢…
主要字段:

ASPMT2SMT公司

6篇文献引用(2014–2022)
软件作者: 迈克尔·巴塞洛缪;Lee,Joohyng先生
相关软件: 克林戈;z3;Clingcon…
主要字段: (68T27-XX)

玫瑰花

6篇文献引用(2016–2021)
软件作者: Torlak,E.,Bodik,R。
相关软件: github;FlashMeta;合金*…
主要字段:

斯克普提克

5份文件引用(2014–2018)
软件作者: Joseph Boudou、Andreas Fellner、Bruno Woltzenogel古
相关软件: FOCI;MiniSat;SATO…
主要字段:

简单

5份文件引用(2010–2020)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;Yices;SMT-LIB…
主要字段:

SMT至TPTP

5份文件引用(2015年至2017年)
软件作者: 鲍姆加特纳,P。
相关软件: TPTP;SMT-LIB;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

CoReS公司

4份文件引用(2018–2022)
软件作者: 巴巴拉·科尼格;内德科恩,马克西姆;诺尔特,丹尼斯
相关软件: z3;SMT-LIB;MEMSALab…
主要字段: (68Q42-XX);(68T15-XX)

fzn2毫米

4份文件引用(2012–2017)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;通用电气;SCIP…
主要字段:

马赫SMT

4份文件引用(2021年至2022年)
软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;Ganesh,维杰
相关软件: MedleySolver;萨齐拉;z3…
主要字段: (68Qxx-XX)

努恰库

4份文件引用(2016–2022)
软件作者: 安德鲁·雷诺兹(Andrew Reynolds);Jasmin Christian布兰切特;西蒙·克鲁恩斯(Simon Cruanes);塞萨尔·蒂内利
相关软件: CVC4;z3;Nitpick…
主要字段: (68V15-XX);(03B35-XX);(68Q60-XX)

CoSA公司

2份文件引用(2020–2022)
软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。
相关软件: 尤瑟斯;BtorMC;波诺…
主要字段:

MedleySolver公司

3份文件引用(2021年至2022年)
软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。
相关软件: 马赫SMT;z3;SATZILA…
主要字段: (68Q25-XX);(68R07-XX);(68T20-XX)

XSat公司

2份文件引用(2018–2022)
软件作者:
相关软件: 数学SAT5;dReal;z3…
主要字段:

EFSMT公司

2份文件引用(2016年至2019年)
软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S
相关软件: z3;Yices;SMT-RAT…
主要字段:

春分

2份文件引用(2011–2018)
软件作者: 科恩·克莱森
相关软件: 阿凡达;DRAT-饰件;iProver…
主要字段: (68T15-XX);(03B35-XX)

jSMTLIB公司

在0个文档中引用
软件作者: 大卫·R·科克
相关软件: 达夫尼;JML;Frama-C…
主要字段:

海盗

2份文件引用(2015)
软件作者: Wand,D.,Weidenbach,C。
相关软件: 赶时髦的人;CVC4;HipSpec…
主要字段:

Smt开关

1份文件引用(2021)
软件作者: 马凯·曼;阿玛莉·威尔逊(Amalee Wilson);尤尼·佐哈尔;林赛·特恩茨;艾哈迈德·伊尔凡;克里斯托弗·布朗(Kristopher Brown);卡勒布·多诺维克;Allison Guman;蒂内利、塞萨尔;克拉克·巴雷特
相关软件: 谷歌测试;z3;PySMT…
主要字段: (68Q25-XX);(68R07-XX);(68T20-XX)

solc验证

2份文件引用(2021)
软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇
相关软件: VerX;深海;Manticore…
主要字段:

STABLE(稳定)

2份文件引用(2014–2018)
软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等。
相关软件: 单一;宠物老板;ABC…
主要字段:

VS3型

2份文件引用(2013–2016)
软件作者: Srivastava S、Gulwani S、Foster JS
相关软件: z3;爆炸;Z3-str…
主要字段: 计算机科学(68-XX)

Wombit公司

2份文件引用(2019–2020)
软件作者: 王文喜;哈拉尔德·Söndergaard;彼得·斯塔基。
相关软件: CVC4;Why3;MiniSat…
主要字段: (68T20-XX)

BanditFuzz乐队

1份文件引用(2022)
软件作者: 斯科特,J。;Sudula,T。;拉赫曼,H。;莫拉·F。;Ganesh,V.公司。;Huisman,M。;帕斯勒诺,C。;詹,N。
相关软件: 依兰CoP;VAMPIRE公司;阿凡达…
主要字段:

科普利斯

在0个文档中引用
软件作者: 田村直之(Naoyuki Tamura)
相关软件: 奥斯卡;金龟子;周六…
主要字段:

FP泰勒

1份文件引用(2022)
软件作者: 阿列克谢·索洛维耶夫;Baranowski,Marek S。;Briggs Ian;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南
相关软件: dReal;HOL灯;QEPCAD…
主要字段:

游戏时间

在0个文档中引用
软件作者: Seshia,Sanjit A。;乔纳森·科特克
相关软件:
主要字段: (68Q60-XX)

JavaSMT软件

1份文件引用(2016)
软件作者: 埃戈尔·乔治·卡彭科夫(Egor George Karpenkov)、卡尔海因斯·弗里德伯格(Karlheinz Friedberger)、德克·拜尔(Dirk Beyer)
相关软件: 姆约利尼尔;PAGAI;FOCI…
主要字段:

线性EqSolver

1份文件引用(2015)
软件作者: 埃尔科克,L。
相关软件: z3;木琴;哈斯克尔…
主要字段:

ManyOpt公司

在0个文档中引用
软件作者: 安德烈亚·卡利亚·迪迪奥、迈克尔·胡特
相关软件: 数学SAT;OSiL;BARON…
主要字段:

元SMT

1份文件引用(2021)
软件作者: H.里纳。
相关软件: CVC4;SMT套件;BtorMC…
主要字段:

QuIt公司

1份文件引用(2018)
软件作者: 格雷斯,伯恩哈德;劳拉·科瓦奇(Laura Kovács);西蒙·罗比拉德
相关软件: VAMPIRE公司;InvGen;CVC4…
主要字段: (68Q60-XX);(68N30-XX)

SBV公司

1份文件引用(2021)
软件作者: 埃尔科克,L。
相关软件: CVC4;SMT套件;BtorMC…
主要字段:

夏普检查器

在0个文档中引用
软件作者: 科舍列夫,V.K。;伊格纳提耶夫,V.N。;博尔齐洛夫,A.I。;A.A.Belevantsev。
相关软件:
主要字段:

涓流

在0个文档中引用
软件作者: Blackham B、Liffinton M、Heiser G
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段