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
相关论文
共 50 条
  • [1] A technique for checking the CSP sat property
    Martin, JMR
    Jassim, SA
    ARCHITECTURES, LANGUAGES AND PATTERNS FOR PARALLEL AND DISTRIBUTED APPLICATIONS, 1998, 52 : 93 - 110
  • [2] Acceleration of SAT-based iterative property checking
    Grosse, D
    Drechsler, R
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 349 - 353
  • [3] Interactive tool support for CSP ∥ B consistency checking
    Evans, Neil
    Treharne, Helen
    FORMAL ASPECTS OF COMPUTING, 2007, 19 (03) : 277 - 302
  • [4] ARC - A tool for efficient refinement and equivalence checking for CSP
    Parashkevov, AN
    Yantchev, J
    1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 68 - 75
  • [5] ACSPChecker: An ASP based CSP Model Checking Tool
    Situ, Lingyun
    Wang, Yu
    Gao, Fengjuan
    Wang, Linzhang
    Bu, Lei
    Zhao, Jianhua
    Li, Xuandong
    8TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2016), 2016, : 99 - 102
  • [6] A Toolbox For Property Checking From Simulation Using Incremental SAT
    Sumners, Rob
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280): : 95 - 97
  • [7] Frontend model generation for SAT-based property checking
    Wedler, M
    Stoffel, D
    Kunz, W
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 914 - 919
  • [8] Propagation in CSP and SAT
    Dimopoulos, Yannis
    Stergiou, Kostas
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 137 - 151
  • [9] Safety property verification using sequential SAT and bounded model checking
    Parthasarathy, G
    Iyer, MK
    Cheng, KT
    Wang, LC
    IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 132 - 143
  • [10] C32SAT: Checking C expressions - (Tool paper)
    Brummayer, Robert
    Biere, Armin
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 294 - +
12345