CCS, LIVENESS, AND LOCAL MODEL CHECKING IN THE LINEAR TIME MU-CALCULUS

被引：0
|
作者：
STIRLING, C
WALKER, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 407卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：166 / 178
页数：13
相关论文
共 50 条
  • [41] Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
    Fraenzle, Martin
    Hansen, Michael R.
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 63 - +
  • [42] Checking the linear transformation model for clustered failure time observations
    Hattori, Satoshi
    LIFETIME DATA ANALYSIS, 2008, 14 (03) : 253 - 266
  • [43] Checking the linear transformation model for clustered failure time observations
    Satoshi Hattori
    Lifetime Data Analysis, 2008, 14 : 253 - 266
  • [44] Linear-time model checking: Automata theory in practice
    Vardi, Moshe Y.
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2007, 4783 : 5 - 10
  • [45] Efficient CTMC Model Checking of Linear Real-Time Objectives
    Barbot, Benoit
    Chen, Taolue
    Han, Tingting
    Katoen, Joost-Pieter
    Mereacre, Alexandru
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 128 - +
  • [46] Practical Efficient Modular Linear-Time Model-Checking
    Furia, Carlo A.
    Spoletini, Paola
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 408 - +
  • [47] Model-Checking Linear-Time Properties of Quantum Systems
    Ying, Mingsheng
    Li, Yangjia
    Yu, Nengkun
    Feng, Yuan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [48] Model Checking of Linear-Time Properties Based on Possibility Measure
    Li, Yongming
    Li, Lijun
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (05) : 842 - 854
  • [49] Partial-order methods for model checking: From linear time to branching time
    Bernard, W
    Pierre, W
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 294 - 303
  • [50] BRANCHING TIME REGULAR TEMPORAL LOGIC FOR MODEL CHECKING WITH LINEAR-TIME COMPLEXITY
    HAMAGUCHI, K
    HIRAISHI, H
    YAJIMA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 253 - 262
12345