Possible events in branching-time model

被引：0
|
作者：
Klinowski, Mateusz
机构：
来源：
DIAMETROS | 2005年 / 3卷
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：1 / 26
页数：26
相关论文
共 50 条
  • [1] Completeness of a Branching-Time Logic with Possible Choices
    Roberto Ciuni
    Alberto Zanardo
    Studia Logica, 2010, 96 : 393 - 420
  • [2] Completeness of a Branching-Time Logic with Possible Choices
    Ciuni, Roberto
    Zanardo, Alberto
    STUDIA LOGICA, 2010, 96 (03) : 393 - 420
  • [3] Oracle circuits for branching-time model checking
    Schnoebelen, P
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 790 - 801
  • [4] Model checking for hybrid branching-time logics
    Kernberger, Daniel
    Lange, Martin
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 110
  • [5] Quantification over sets of possible worlds in branching-time semantics
    Zanardo A.
    Studia Logica, 2006, 82 (3) : 379 - 400
  • [6] Compositional Branching-Time Measurements
    Grosu, Radu
    Peled, Doron
    Ramakrishnan, C. R.
    Smolka, Scott A.
    Stoller, Scott D.
    Yang, Junxing
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 118 - +
  • [7] Strategies, model checking and branching-time properties in Maude
    Rubio, Ruben
    Marti-Oliet, Narciso
    Pita, Isabel
    Verdejo, Alberto
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 123
  • [8] Mining Branching-Time Scenarios
    Fahland, Dirk
    Lo, David
    Maoz, Shahar
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 443 - 453
  • [9] Strategies, Model Checking and Branching-Time Properties in Maude
    Rubio, Ruben
    Marti-Oliet, Narciso
    Pita, Isabel
    Verdejo, Alberto
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2020, 2020, 12328 : 156 - 175
  • [10] Complexity results on branching-time pushdown model checking
    Bozzelli, L
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 65 - 79
12345