×

西尔文

swMATH ID: 41639
软件作者： van Dijk，T。；范德波尔，J。
描述： Sylvan是一个用C编写的并行（多核）多终端二进制决策图库。Sylvan实现了CUDD等库中的典型二进制决策图操作，但提供了这些操作的可扩展并行执行，并且由于支持自定义决策图终端类型，它的功能更为广泛。Sylvan在支持任何类型终端的二进制决策图上实现并行化操作，包括标准布尔值、整数、浮点和任何用户定义的类型。Sylvan还实现了对用于模型检查的专用列表决策图的操作。基于BDD的顺序和并行算法都可以从并行中受益。Sylvan使用工作密封框架Lace和并行数据结构在决策图上实现可扩展的多核操作。Sylvan最初是由Twente大学的形式方法和工具小组开发的，作为MaDriD项目的一部分，该项目由NWO资助，并由Johannes Kepler University Linz的形式方法与验证小组进一步开发，作为RiSE项目的一部分。Sylvan获得Apache 2.0许可证
主页： https://www.tvandijk.nl/pdf/2015sylvan.pdf
源代码：  https://github.com/utwente-fmt/sylvan
相关软件： LTSmin公司;棱镜;伙计;CUDD公司;PROPhESY公司;风暴;nuXmv（数字）;自旋蛋白;MRMC公司;Uppaal公司;参数;github;BEEM公司;ITS工具;武力;mCRL2型;M-树;BISIMULATOR（双模拟）;SIGREF公司;CAESAR_解决
引用于： 11文件
全部的 前5名

34位作者引用

1 萨巴阿夫拉基
1 Elvio Gilberto Amparore公司
1 Bäck，Thomas H.W。
1 马修·史蒂文·鲍尔
1 博尔祖·博纳克达尔普尔
1 布兰德，塞巴斯蒂安
1 罗希特·查达
1 尼古拉斯·科斯特斯
1 苏珊娜·多纳泰利
1 杰弗里·杜德克。
1 弗朗西斯科·加拉
1 休伯特·加拉维
1 约翰·彼得·因德罗伊
1 Joost-Pieter卡托恩
1 戴维·尼切尔
1 罗伯托·斯卡拉
1 阿尔芬斯·拉曼。
1 弗雷德里克·朗
1 Oebele Lizzenga
1 乌芒·马图尔
1 阿米尔·莫拉迪
1 Vu H.N.Phan。
1 波兰人，塞尔吉奥
1 普拉萨德·西斯特拉。
1 赫瓦尔德拉德姆
1 莱恩·伦瑞奇
1 帕斯卡·萨斯德里奇
1 保罗·A·G·西维洛蒂。
1 沙万·库马尔·蒂瓦里
1 汤姆·范·迪克
1 莫西·亚亚科夫·瓦尔迪
1 安德烈亚·维斯康蒂
1 马赫什·维斯瓦纳坦
1 马蒂亚斯·沃尔克

3篇连载文章中引用

1 分布式计算
1 系统设计中的形式化方法
1 有限域及其应用
全部的 前5名

在9个字段中引用

9 计算机科学（68至XX）
三 信息与通信理论、电路（94-XX）
2 数论（11-XX）
1 场论和多项式（12-XX）
1 交换代数（13-XX）
1 群论与推广（20-XX）
1 概率论与随机过程（60-XX）
1 运筹学、数学规划（90-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文