A tool for checking the CSP sat property

被引：0

作者：

Martin, JMR ^{[1
]}

机构：

[1] Oxford Supercomp Ctr, Oxford OX1 3QD, England

来源：

COMPUTER JOURNAL | 2000年 / 43卷 / 01期

关键词：

Algorithms - High level languages - Set theory;

D O I：

10.1093/comjnl/43.1.13

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes an algorithm and associated tool for checking a network of communicating processes, defined using the algebraic language of CSP, against a set-theoretic specification, expressed in terms of event traces and refusal sets.

引用

页码：13 / 23

页数：11