MOSEL: A flexible toolset for Monadic Second-order Logic

被引：0
|
作者：
Kelb, P
Margaria, T
Mendler, M
Gsottberger, C
机构：
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 1997年 / 1217卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
MOSEL is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: MOSEL is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguishing features of MOSEL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.
引用
收藏
页码：183 / 202
页数：20
相关论文
共 50 条
  • [21] Graph operations and monadic second-order logic: A survey
    Courcelle, B
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 20 - 24
  • [22] Monadic second-order incorrectness logic for GP 2
    Poskitt, Christopher M.
    Plump, Detlef
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
  • [23] Verifying Graph Programs with Monadic Second-Order Logic
    Wulandari, Gia S.
    Plump, Detlef
    GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 240 - 261
  • [24] Sequentiality, monadic second-order logic and tree automata
    Comon, H
    INFORMATION AND COMPUTATION, 2000, 157 (1-2) : 25 - 51
  • [25] Linear delay enumeration and monadic second-order logic
    Courcelle, Bruno
    DISCRETE APPLIED MATHEMATICS, 2009, 157 (12) : 2675 - 2700
  • [26] Monadic second-order logic, tree automata, and constraint logic programming
    Morawietz, F
    MATHEMATICS OF SYNTACTIC STRUCTURE: TREES AND THEIR LOGICS, 1999, 44 : 41 - 81
  • [27] Where First-Order and Monadic Second-Order Logic Coincide
    Elberfeld, Michael
    Grohe, Martin
    Tantau, Till
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (04)
  • [28] The complexity of first-order and monadic second-order logic revisited
    Frick, M
    Grohe, M
    17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 215 - 224
  • [29] Where First-Order and Monadic Second-Order Logic Coincide
    Elberfeld, Michael
    Grohe, Martin
    Tantau, Till
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 265 - 274
  • [30] The complexity of first-order and monadic second-order logic revisited
    Frick, M
    Grohe, M
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 130 (1-3) : 3 - 31
12345