FAIR SMG AND LINEAR TIME MODEL CHECKING

被引：0
|
作者：
BARRINGER, H
FISHER, MD
GOUGH, GD
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 407卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：133 / 150
页数：18
相关论文
共 50 条
  • [1] Fair Stateless Model Checking
    Musuvathi, Madanial
    Qadeer, Shaz
    [J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 362 - 371
  • [2] Fair stateless model checking
    Musuvathi, Madanlal
    Qadeer, Shaz
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (06) : 362 - 371
  • [3] Model Checking Quantitative Linear Time Logic
    Faella, Marco
    Legay, Axel
    Stoelinga, Marielle
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (03) : 61 - 77
  • [4] Checking inherently fair linear-time properties in a non-naive way
    Nicola, Thierry
    Niessner, Frank
    Ultes-Nitsche, Ulrich
    [J]. MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 49 - 58
  • [5] Model checking knowledge and linear time: PSPACE cases
    Engelhardt, Kai
    Gammie, Peter
    van der Meyden, Ron
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 195 - +
  • [6] Complexity of Model Checking over General Linear Time
    French, Tim
    McCabe-Dansted, John
    Reynolds, Mark
    [J]. 2013 20th International Symposium on Temporal Representation and Reasoning (TIME), 2013, : 107 - 114
  • [7] Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
    Huang, Xiaowei
    van der Meyden, Ron
    [J]. AI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5866 : 11 - 20
  • [8] Model-checking fair dense-time systems with propositions and events
    Wang, Farn
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 223 - 243
  • [9] Model-checking fair dense-time systems with propositions and events
    Farn Wang
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 223 - 243
  • [10] Checking the linear transformation model for clustered failure time observations
    Hattori, Satoshi
    [J]. LIFETIME DATA ANALYSIS, 2008, 14 (03) : 253 - 266
12345