斯科特 swMATH ID: 9954 软件作者： Blanc，N.、Kroening，D.、Sharygina，N。 描述： Scoot：用于分析SystemC模型的工具。SystemC是一种系统级建模语言，支持并发和任意宽度的位向量算法。现有的SystemC静态分析器只考虑语言的小片段。我们介绍了Scoot，一个基于C++前端的SystemC模型提取器。Scoot生成的模型可以用于多种目的，从验证和模拟到合成。例如，我们报告的结果表明，我们的工具可以将动态执行的性能提高五倍。 主页： http://www.cprover.org/scoot/ 相关软件： 超小卫星；SLAM公司；萨帕托；DD验证；Velev SAT基准；FOCI公司；卫星抗体；CBMC公司；贝博普；bv2epr；糠；公主；简化；自旋蛋白；科根（Cogent）；皮纳帕；系统C；普罗米拉；Uppaal公司；CEGAR公司 引用于： 2文件 4位作者引用 1 阿明·比尔 1 丹尼尔·科宁 1 Marta Z.Kwiatkowska。 1 格钦·诺曼 0连载引用 在2个字段中引用 2 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文