SyncGen(同步发电机) swMATH ID: 1988 软件作者: 邓向华;马修·德怀尔(Matthew B.Dwyer)。;约翰·哈特克利夫;Masaaki Mizuno 描述: SyncGen:一个面向方面的同步框架本文描述了SyncGen——一种用于从正式的高级规范中自动合成复杂同步实现的工具。在SyncGen中,同步规范使用一阶逻辑或用户友好的规范模式。从一个高级规范出发,合成了一个与语言无关的中间保护命令语言同步解决方案。后端转换器可以将此中间解决方案转换为各种实现框架,包括Java、带POSIX线程的C++/C以及控制器局域网消息传递原语。SyncGen已广泛用于堪萨斯州立大学的课程中。它的广泛适用性已经通过使用它来解决众所周知的并发教科书中给出的几乎所有练习以及嵌入式计算领域中的各种实际问题得到了证明。该工具以及支持文档和示例存储库都是公开的。 主页: http://syncgen.projects.cis.ksu.edu/ 相关软件: 班德拉;电子稳定控制系统/Java;PVS公司;dSPIN码;TVLA公司;贝博普;Java PathFinder;NuSMV公司;自旋蛋白;IF-2.0型;veriSoft软件;合成;雾化器;SLAM公司;爆炸 引用于: 7文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 SyncGen:一个面向方面的同步框架。 Zbl 1126.68472号邓向华;马修·德怀尔。;约翰·哈特克利夫;Masaaki Mizuno 2004 全部的 前5名16位作者引用 2 马修·德怀尔。 2 约翰·哈特克利夫 1 保罗·C·阿提。 1 艾苏贝汀坎 1 特夫菲克·布尔坦 1 邓向华 1 Jyotirmoy V.德斯穆赫。 1 埃默森,欧内斯特·艾伦 1 科马克·弗拉纳根 1 斯蒂芬·尼尔(Stephen Neal Freund) 1 拉杜·奥西夫 1 Masaaki Mizuno 1 甘尼桑拉马林加姆 1 Ranganath,文卡特什·普拉萨德 1 萨曼塔(Samanta,Roopsha) 1 卡皮尔·瓦斯瓦尼 4篇连载文章中引用 2 系统设计中的形式化方法 1 计算机程序设计科学 1 计算的形式方面 1 计算机科学中的逻辑方法 在1个字段中引用 7 计算机科学(68至XX) 按年份列出的引文