CMC公司 31份文件引用(2000–2020) 软件作者: 弗朗索瓦·拉鲁西尼;金·拉森 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
垫片 30篇文献引用(2015–2023) 软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
常春藤 21篇文献引用(2017–2023) 软件作者: McMillan,K.L.,Padon,O。 相关软件: 常春藤;z3;IronFleet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
找不同 17篇文献引用(2008–2022) 软件作者: 萨德克·本萨勒姆;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯 相关软件: MONA;里奥;隔间… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
推断 15篇文献引用(2015–2023) 软件作者: Calcagno,C.,Distefano,D。 相关软件: 幻灯片;小脚;HIP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
螺纹加工工 12份文件引用(2012–2020) 软件作者: 科内留·波皮亚(Corneliu Popeea);安德烈·里巴尔琴科 相关软件: CPA检查员;灌篮;CBMC… 主要字段: 计算机科学(68-XX)
Exp.打开 12份文件引用(2006–2023) 软件作者: 弗雷德里克·朗 相关软件: CADP;CAESAR_SOLVE公司;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
ECDAR公司 9份文件引用(2011–2022) 软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基 相关软件: Uppaal;MIO工作台;UPPAAL TIGA… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
fc2工具 12份文件引用(1999–2022) 软件作者: Bouali,A.、Ressouche,A.、Roy,V.、de Simone,R。 相关软件: CADP;到期未结;CAESAR_SOLVE… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
CertiKOS公司 10篇文献引用(2017–2022) 软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。 相关软件: seL4;Coq;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
丽贝卡 引用于8份文件(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;甲酚;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
电动汽车 6篇文献引用(2001–2021) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
Java+ITP 7份文件引用(2007–2013) 软件作者: Sasse,R.,Meseguer,J。 相关软件: 莫德;爪哇风扇;K校准仪… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 引用于8份文件(2014年至2022年) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;KIV;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
联合循环发电厂 7份文件引用(2004–2015) 软件作者: 赫斯曼(Marieke Huisman);古罗夫,帝力 相关软件: MAVEN公司;班德拉;Uppaal… 主要字段: 数论(11-XX);统计学(62-XX);计算机科学(68-XX)…
皮尔斯纳 7份文件引用(2015–2021) 软件作者: 乔治·奈斯(Georg Neis);Hur,Chung-Kil;Kaiser,Jan-Oliver;Craig McLaughlin;德里克·德雷尔(Derek Dreyer);维克托·瓦菲亚迪斯 相关软件: Coq;CakeML;Isabelle/HOL… 主要字段: 计算机科学(68-XX)
VeriCon公司 5份文件引用(2014–2021) 软件作者: Ball,T.、Bjorner,N.、Gember,A.、Itzhaky,S.、Karbyshev,A.、Sagiv,M.、Schapira,M.和Valadarsky,A。 相关软件: 食蚁兽;NetKAT;Kuai… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
jMocha公司 4份文件引用(2008–2021) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;亨辛格,T。;托马斯。;Kang,M。;Kirsch,C。;马久姆达尔,R。;芒,F。;王,B.-Y。 相关软件: 摩卡;多甲基甲酰胺;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
ProMoVer公司 4份文件引用(2011–2016) 软件作者: Siavash Soleimanifard;古罗夫,帝力;马里克,Huisman 相关软件: MAVEN公司;DeltaCCS;MSTA… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
ERA-PAT公司 2份文件引用(2014–2021) 软件作者: 林尚伟;刘,杨;孙军;董金松;埃蒂安·安德烈 相关软件: 拍打;ProB;PDDL… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
TVT电视 3份文件引用(2004–2022) 软件作者: 维塔宁,海基;亨利·汉森;安蒂·瓦尔马里;朱哈·尼米宁;蒂莫·埃尔基拉 相关软件: CADP;西尔文;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
大都市 2份文件引用(2002–2018) 软件作者: 格雷戈·戈斯勒(Gregor Gossler);阿尔贝托Sangiovanni-Vincentelli 相关软件: 托勒密;普罗米修斯 主要字段: 计算机科学(68-XX)
网络草图 2份文件引用(2010–2012) 软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。 相关软件: 伊莎贝尔;自旋蛋白;马蒂塔… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
PeCA公司 1份文件引用(2014) 软件作者: Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;安德烈,艾蒂安;劳雷·佩特鲁奇(Laure Petrucci);刘,杨 相关软件: CPN/工具;窥探;访问/CPN… 主要字段: 计算机科学(68-XX)
Virtuoso下一步 1份文件引用(2022) 软件作者: Altreonic NV公司;克里杜,吉勒米纳;何塞·普伦萨;伯恩哈德·H·C·斯普特。;埃里克·弗赫斯特 相关软件: 普罗米拉;里奥;自旋蛋白 主要字段: 计算机科学(68-XX)
吉莉安 在0个文档中引用 软件作者: 何塞·弗拉戈索·桑托斯(JoséFragoso Santos)、彼得·马克西莫维奇(Petar Maksimović)、萨沙·埃利·阿永(Sacha-E lie Ayoun)、菲利普·加德纳(Philippa Gardner) 相关软件: —— 主要字段: ——