×

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

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)

莫比/DC

5份文件引用(2002–2012)
软件作者: Dierks,Henning;约瑟夫·塔普肯
相关软件: Uppaal;麦克塔;SLAM…
主要字段: 计算机科学(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)

弱2SC

2份文件引用(2016年至2021年)
软件作者: 奥列格·特拉夫金;海克·卫尔海姆
相关软件: 莫德;github;LLVM…
主要字段: 计算机科学(68-XX)

XYZ/SE公司

2份文件引用(1991–1999)
软件作者: 谢洪亮;龚洁;唐,C.S。
相关软件: ——
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

基本-真实

1份文件引用(1997)
软件作者: Nepomnyashchij,副总裁。;新墨西哥州希洛夫。;博丁,E.V。
相关软件: ——
主要字段: 计算机科学(68-XX)

LTL至DRA

1份文件引用(2016)
软件作者: 所罗门·西克特
相关软件: 棱镜;伊萨尔;CAVA LTL模型检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件