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 条
  • [21] Symbolic computation and satisfiability checking
    Davenport, James H.
    England, Matthew
    Griggio, Alberto
    Sturm, Thomas
    Tinelli, Cesare
    JOURNAL OF SYMBOLIC COMPUTATION, 2020, 100 : 1 - 10
  • [22] Satisfiability Checking and Symbolic Computation
    Abraham, E.
    Abbott, J.
    Becker, B.
    Bigatti, A. M.
    Brain, M.
    Buchberger, B.
    Cimatti, A.
    Davenport, J. H.
    England, M.
    Fontaine, P.
    Forrest, S.
    Griggio, A.
    Kroening, D.
    Seiler, W. M.
    Sturm, T.
    ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2016, 50 (04): : 145 - 147
  • [23] Satisfiability Modulo Bounded Checking
    Cruanes, Simon
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 114 - 129
  • [24] Satisfiability checking for PC(ID)
    Mariën, M
    Mitra, R
    Denecker, M
    Bruynooghe, M
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 565 - 579
  • [25] LTL Satisfiability Checking Revisited
    Li, Jianwen
    Zhang, Lijun
    Pu, Geguang
    Vardi, Moshe Y.
    He, Jifeng
    2013 20TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2013, : 91 - 98
  • [26] Model checking with Boolean Satisfiability
    Marques-Silva, Joao
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2008, 63 (1-3): : 3 - 16
  • [27] On the complexity of the satisfiability problem for a system of functional Boolean equations
    Fedorova V.S.
    Journal of Applied and Industrial Mathematics, 2013, 7 (03) : 344 - 354
  • [28] Satisfiability of Constraint Specifications on XML Documents
    Navarro, Marisa
    Orejas, Fernando
    Pino, Elvira
    LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 539 - 561
  • [29] Spec Satisfiability Tool: A tool for testing the satisfiability of specifications on XML documents
    Albors, Javier
    Navarro, Marisa
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (173): : 27 - 40
  • [30] COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC μ- CALCULI
    Hausmann, Daniel
    Schroeder, Lutz
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03) : 1 - 9
12345