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 条
  • [41] Model-checking iterated games
    Chung-Hao Huang
    Sven Schewe
    Farn Wang
    [J]. Acta Informatica, 2017, 54 : 625 - 654
  • [42] On model-checking of P systems
    Dang, Z
    Ibarra, OH
    Li, C
    Xie, GY
    [J]. UNCONVENTIONAL COMPUTATION, PROCEEDINGS, 2005, 3699 : 82 - 93
  • [43] Model-checking -: A tutorial introduction
    Müller-Olm, M
    Schmidt, D
    Steffen, B
    [J]. STATIC ANALYSIS, 1999, 1694 : 330 - 354
  • [44] Model-checking with coverability graphs
    Schmidt, K
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (03) : 239 - 254
  • [45] Model-checking processes with data
    Groote, JF
    Willemse, TAC
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 251 - 273
  • [46] Symbolic and Structural Model-Checking
    Thierry-Mieg, Yann
    [J]. FUNDAMENTA INFORMATICAE, 2021, 183 (3-4) : 319 - 342
  • [47] Model-Checking on Ordered Structures
    Eickmeyer, Kord
    van den Heuvel, Jan
    Kawarabayashi, Ken-ichi
    Kreutzer, Stephan
    de Mendez, Patrice Ossona
    Pilipczuk, Michal
    Quiroz, Daniel A.
    Rabinovich, Roman
    Siebertz, Sebastian
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (02)
  • [48] Model-Checking of Smart Contracts
    Nehai, Zeinab
    Piriou, Pierre-Yves
    Daumas, Frederic
    [J]. IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 980 - 987
  • [49] Model-checking iterated games
    Huang, Chung-Hao
    Schewe, Sven
    Wang, Farn
    [J]. ACTA INFORMATICA, 2017, 54 (07) : 625 - 654
  • [50] Model-Checking with Coverability Graphs
    Karsten Schmidt
    [J]. Formal Methods in System Design, 1999, 15 : 239 - 254
12345