Model-checking temporal behaviour in CSP

被引：0

作者：

Ouaknine, J ^{[1
]}

Reed, GM ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Oxford OX1 2JD, England

来源：

INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS | 1999年

关键词：

real-time systems; model-checking; CSP;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

We present a technique for model-checking timed processes over a dense time domain in the context of CSP. This technique utilises a new discrete-time model for CSP and a 'translation' function into this model from, the standard dense-time model for Timed CSP given, by Reed and Roscoe. We shaw how real-time processes can be reinterpreted in the discrete-time model and hour refinement between such processes can be model-checked on FDR (a commercial product of Formal Systems (Europe) Ltd.).

引用

页码：295 / 304

页数：10

共 50 条

[1] Model-checking CSP-Z
Mota, A
Sampaio, A
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 205 - 220
[2] On the limits of refinement-testing for model-checking CSP
Murray, Toby
[J]. FORMAL ASPECTS OF COMPUTING, 2013, 25 (02) : 219 - 256
[3] Model-checking Timed Temporal Logics
Bouyer, Patricia
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 : 323 - 341
[4] Industrial-strength CSP: Opportunities and challenges in model-checking
Creese, S
[J]. COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, 2005, 3525 : 292 - 292
[5] TAGED Approximations for Temporal Properties Model-Checking
Courbis, Romeo
Heam, Pierre-Cyrille
Kouchnarenko, Olga
[J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2009, 5642 : 135 - 144
[6] From Model-Checking to Temporal Logic Constraint Solving
Fages, Francois
Rizk, Aurelien
[J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 319 - 334
[7] Model-checking user behaviour using interacting components
Basuki, Thomas Anung
Cerone, Antonio
Griesmayer, Andreas
Schlatte, Rudolf
[J]. FORMAL ASPECTS OF COMPUTING, 2009, 21 (06) : 571 - 588
[8] Model-checking CSP-Z: strategy, tool support and industrial application
Mota, A
Sampaio, A
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (01) : 59 - 96
[9] The model-checking kit
Schröter, C
Schwoon, S
Esparza, J
[J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 463 - 472
[10] QLTL Model-Checking
Laroussinie, Francois
Leclercq, Loriane
Sangnier, Arnaud
[J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288

← 1 2 3 4 5 →