On the limits of refinement-testing for model-checking CSP
type: Item
instance of: scholarly article
title: On the limits of refinement-testing for model-checking CSP
zbMATH Open document ID: 1259.68131
author: Toby Murray
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6148360
zbMATH Keywords: refinement-testing
zbMATH Keywords: expressiveness
zbMATH Keywords: CSP
zbMATH Keywords: model-checking
zbMATH Keywords: hyperproperties
describes a project that uses: Isabelle
describes a project that uses: CSP-prover
describes a project that uses: FDR2
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: s00165-011-0183-6
OpenAlex ID: W1979287973
cites work: Appraising fairness in languages for distributed programming
cites work: The existence of refinement mappings
cites work: Defining liveness
cites work: Q3680258
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3777424
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: A Complete Axiomatic Semantics for the CSP Stable-Failures Model
cites work: Proof Principles of CSP – CSP-Prover in Practice
cites work: Proving the Correctness of Multiprocess Programs
cites work: Q4426372
cites work: Q2763965
cites work: Specification of communicating processes: temporal logic versus refusals-based refinement
cites work: Q3922147
cites work: Theoretical Aspects of Computing – ICTAC 2005
cites work: Q4791836
cites work: On the expressive power of CSP refinement
cites work: Revivals, stuckness and the hierarchy of CSP models
cites work: Responsiveness of interoperating components
cites work: Safety, liveness and fairness in temporal logic
cites work: The Stable Revivals Model in CSP-Prover
cites work: CONCUR 2005 – Concurrency Theory
DOI: 10.1007/S00165-011-0183-6
description: scientific article; zbMATH DE number 6148360