The Genesis and Development of Model Checking: Fact vs. Fiction

被引：0
|
作者：
Emerson, Allen [1 ]
机构：
[1] Univ Texas Austin, Austin, TX 78712 USA
来源：
PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015) | 2015年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：7 / 7
页数：1
相关论文
共 50 条
  • [41] TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES
    Benedikt, Michael A.
    Lenhardt, Rastislav
    Worrell, James
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (02) : 1 - 37
  • [42] Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    Sala, Pietro
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
  • [43] Two Variable vs. Linear Temporal Logic in Model Checking and Games
    Benedikt, Michael
    Lenhardt, Rastislav
    Worrell, James
    CONCUR 2011: CONCURRENCY THEORY, 2011, 6901 : 497 - 511
  • [44] Acceleration in dental development: fact or fiction
    Holtgrave, EA
    Kratschmer, R
    Muller, R
    EUROPEAN JOURNAL OF ORTHODONTICS, 1997, 19 (06) : 703 - 710
  • [45] Fact vs fiction: novelists' perspectives on occupational therapy
    Hibberd, Jane M.
    BRITISH JOURNAL OF OCCUPATIONAL THERAPY, 2009, 72 (06) : 283 - 283
  • [46] AGE AS A RISK FACTOR IN COLONOSCOPY - FACT VS FICTION
    DIPRIMA, RE
    BARKIN, JS
    PHILLIPS, RS
    GOLDBERG, RI
    BLINDER, M
    FAYNE, S
    ESPIRITU, C
    KAPLAN, SR
    NEUHUT, DS
    UNGER, S
    FINK, D
    GASTROINTESTINAL ENDOSCOPY, 1986, 32 (02) : 181 - 181
  • [47] EXECUTIVE ANXIETY AND MOOD DRUGS - FACT VS FICTION
    RICKELS, K
    DUNS REVIEW, 1978, 111 (05): : 115 - &
  • [48] AGE AS A RISK FACTOR IN COLONOSCOPY - FACT VS FICTION
    DIPRIMA, RE
    BARKIN, JS
    PHILLIPS, RS
    GOLDBERG, RI
    BLINDER, M
    FAYNE, S
    ESPIRITU, C
    KAPLAN, SR
    NEUHUT, DS
    UNGER, S
    FINK, D
    AMERICAN JOURNAL OF GASTROENTEROLOGY, 1986, 81 (09): : 873 - 873
  • [49] A Novel Model for Enhancing Fact-Checking
    AlKhawaldeh, Fatima T.
    Yuan, Tommy
    Kazakov, Dimitar
    INTELLIGENT COMPUTING, VOL 2, 2021, 284 : 661 - 677
  • [50] GENESIS AND DEVELOPMENT OF A SCIENTIFIC FACT - FLECK,L
    TILLEY, N
    PHILOSOPHY OF THE SOCIAL SCIENCES, 1985, 15 (03) : 380 - 384
12345