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 条
  • [31] Symbolic Computation Techniques in Satisfiability Checking
    Abraham, Erika
    PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 3 - 10
  • [32] Optimal Satisfiability Checking for Arithmetic μ-Calculi
    Hausmann, Daniel
    Schroeder, Lutz
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 277 - 294
  • [33] Using Symmetries to Lift Satisfiability Checking
    Carbonnelle, Pierre
    Schenner, Gottfried
    Bruynooghe, Maurice
    Bogaerts, Bart
    Denecker, Marc
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, 2024, : 7961 - 7968
  • [34] A SIMPLE TEST IMPROVES CHECKING SATISFIABILITY
    LOZINSKII, EL
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 99 - 111
  • [35] A Systematic Approach to Transforming System Requirements into Model Checking Specifications
    Aceituna, Daniel
    Do, Hyunsook
    Srinivasan, Sudarshan
    36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014), 2014, : 165 - 174
  • [36] Extracting Environmental Constraints in Reactive System Specifications
    Fukaya, Yuichi
    Yoshiura, Noriaki
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2015, PT IV, 2015, 9158 : 671 - 685
  • [37] Implementing reactive closed-system specifications
    Klapuri, H
    Takala, J
    Saarinen, J
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2001, 24 (02) : 101 - 123
  • [38] Implementing reactive closed-system specifications
    Klapuri, H. (harrik@cs.tut.fi), 1600, Elsevier (24):
  • [39] Consistency Checking for LSC Specifications
    Guo, Hai-Feng
    Zheng, Wen
    Subramaniam, Mahadevan
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 119 - 126
  • [40] The complexity of the conservative constraint satisfiability
    Bulatov, AA
    DOKLADY MATHEMATICS, 2004, 70 (01) : 597 - 598
12345