Industrial-strength CSP: Opportunities and challenges in model-checking

被引：0
|
作者：
Creese, S
机构：
来源：
COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS | 2005年 / 3525卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：292 / 292
页数：1
相关论文
共 50 条
  • [1] Model-checking temporal behaviour in CSP
    Ouaknine, J
    Reed, GM
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 295 - 304
  • [2] Model-checking CSP-Z
    Mota, A
    Sampaio, A
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 205 - 220
  • [3] Model-checking CSP-Z: strategy, tool support and industrial application
    Mota, A
    Sampaio, A
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2001, 40 (01) : 59 - 96
  • [4] On the limits of refinement-testing for model-checking CSP
    Murray, Toby
    [J]. FORMAL ASPECTS OF COMPUTING, 2013, 25 (02) : 219 - 256
  • [5] Introducing time in an industrial application of model-checking
    van den Berg, Lionel
    Strooper, Paul
    Winter, Kirsten
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 56 - 67
  • [6] Analyzing Industrial Architectural Models by Simulation and Model-Checking
    Marinescu, Raluca
    Kaijser, Henrik
    Mikucionis, Marius
    Seceleanu, Cristina
    Lonn, Henrik
    David, Alexandre
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 189 - 205
  • [7] INDUSTRIAL-STRENGTH GRAPHICS
    THOMPSON, T
    [J]. BYTE, 1989, 14 (06): : 219 - 219
  • [8] INDUSTRIAL-STRENGTH BONDS
    Brazil, Rachel
    [J]. NATURE, 2015, 527 (7577) : S76 - +
  • [9] Industrial-strength bonds
    [J]. Nature, 2015, 527 : S76 - S79
  • [10] Industrial-strength analog
    Israelsohn, I
    [J]. EDN, 2005, 50 (06) : 44 - +
12345