Zing: A Model Checker for Concurrent Software
Zing: A Model Checker for Concurrent Software
复制标题
Zing：并发软件的模型检查器
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Yichen Xie
中科院分区：
文献类型：
--
作者：
Tony Andrews;S. Qadeer;S. Rajamani;J. Rehof;Yichen Xie
ZING项目是为了构建灵活且可扩展的模型检查并发软件的基础架构。该项目分为四个组成部分：（1）一种用于表达软件系统并发模型的建模语言，（2）用于将Zing模型转换为其过渡关系的可执行表示的编译器，（3）用于探索探索该模型检查器ZING模型的状态空间和（4）模型生成器，它们会自动从以通用编程语言编写的程序中提取Zing模型。
The zing project is an effort to build a flexible and scalable model checking infrastructure for concurrent software. The project is divided into four components: (1) a modeling language for expressing concurrent models of software systems, (2) a compiler for translating a zing model into an executable representation of its transition relation, (3) a model checker for exploring the state space of the zing model, and (4) model generators that automatically extract zing models from programs written in common programming languages.