Complexity of checking strong satisfiability of reactive system specifications

被引：0
|
作者：
机构：
[1] Shimakawa, Masaya
[2] Hagihara, Shigeki
[3] Yonezaki, Naoki
来源：
| 1600年 / Springer Verlag卷 / 117期
关键词：
Specifications;
D O I：
10.1007/978-3-319-11629-7_6
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Bounded Strong Satisfiability Checking of Reactive System Specifications
    Shimakawa, Masaya
    Hagihara, Shigeki
    Yonezaki, Naoki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (07): : 1746 - 1755
  • [2] Complexity of Strong Satisfiability Problems for Reactive System Specifications
    Shimakawa, Masaya
    Hagihara, Shigeki
    Yonezaki, Naoki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (10): : 2187 - 2193
  • [3] Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications
    Shimakawa, Masaya
    Hagihara, Shigeki
    Yonezaki, Naoki
    ADVANCES IN MATERIALS, MACHINERY, ELECTRONICS II, 2018, 1955
  • [4] Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications
    Yoshiura, Noriaki
    Hirayanagi, Yuma
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2015, PT IV, 2015, 9158 : 686 - 698
  • [5] Bounded Satisfiability Checking of Metric Temporal Logic Specifications
    Pradella, Matteo
    Morzenti, Angelo
    San Pietro, Pierluigi
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2013, 22 (03) : 1 - 54
  • [6] Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
    Shimakawa, Masaya
    Ueno, Atsushi
    Mochizuki, Shohei
    Tomita, Takashi
    Hagihara, Shigeki
    Yonezaki, Naoki
    2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), 2019, : 347 - 352
  • [7] Implementation of stepwise satisfiability checker for reactive system specifications using distributed objects technology
    Ando, Takahiro
    Miyamoto, Yuuki
    Hagihara, Shigeki
    Yonezaki, Naoki
    Computer Software, 2011, 28 (04) : 262 - 281
  • [8] Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
    Mahmood, Yasir
    Meier, Arne
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 157 - 174
  • [9] Checking strong specifications using an extensible software model checking framework
    Robby
    Rodríguez, E
    Dwyer, MB
    Hatcliff, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 404 - 420
  • [10] Parameterised complexity of model checking and satisfiability in propositional dependence logic
    Mahmood, Yasir
    Meier, Arne
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022, 90 (2-3) : 271 - 296
12345