软件搜索-zbMATH Open

幻灯片

swMATH ID:	28542
软件作者：	Iosif，R.，Rogalewicz，A.，Vojnar，T。
描述：	幻灯片-带有归纳定义的分离逻辑。带归纳定义的分离逻辑的基于自动蕴涵检查。SLIDE是一个原型工具，用于检查分离逻辑中包含的递归数据结构（列表、树等）的用户提供的归纳定义。基本功能：本地数据结构（双链接列表、带父指针的树等）健全完整；非本地数据结构的声音（具有链接叶子的树、跳过列表等）；构建在VATA树自动机库的顶部。
主页：	http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/
相关软件：	HIP（热等静压）；推断；小脚；骑自行车的人；SeLoger公司；捕食者；VeriFast公司；杀手；蚱蜢；z3（零3）；MONA公司；毒蛇；CVC4型；增值税；github；反链；平均无故障时间；Rely公司；APL公司；工具链
引用于：	27文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
用树自动机确定归纳分离逻辑中的蕴涵。 Zbl 1448.68266号拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳	2014

5	Stéphane P.德姆里。
5	拉杜·奥西夫
4	汤姆·沃纳
三	Deters，摩根
三	Ondřej Lengál
三	克里斯托夫·马提亚
三	诺尔，托马斯
三	Makoto Tatsuta
2	陈、陶璐
2	魏恩根·钦
2	穆纳乔·埃切宁
2	汤姆·菲多尔
2	卢卡什，霍利克
2	克里斯蒂娜·詹森
2	Joost-Pieter卡托恩
2	大辅木村
2	Le，Quang Loc公司
2	尼古拉斯·佩尔蒂埃
2	亚当·罗加列维奇
2	吴志林
2	弗洛里安·祖勒格
1	凯文·巴茨
1	詹姆斯·布罗瑟斯顿
1	康斯坦丁埃纳
1	伊拉·费塞费尔特
1	迪迪埃·加米歇
1	尼科斯·戈罗甘尼斯
1	顾新才
1	乔纳森·海宁
1	彼得·扬克
1	马文·詹森
1	Jens Katelaan公司
1	弗洛里安·科勒
1	邱小成
1	金，蒂姆
1	多米尼克·拉切·温德林（Dominique Larchey-Wendling）
1	Le，Ton Chanh先生
1	Le，Xuan-Bach D。
1	丹尼尔·梅里
1	詹斯·佩格尔
1	安德鲁·雷诺兹
1	塞尔维亚人，克里斯蒂娜
1	米哈埃拉·西希雷亚努
1	Šimáckek，Jiří
1	宋，傅
1	Ta、Quang-Trung
1	大卫·托曼
1	乌埃尔、古雷

24	数学逻辑和基础（03-XX）
23	计算机科学（68至XX）