Decomposing the Verification of Interlocking Systems

被引：0
|
作者：
Haxthausen, Anne E. [1 ]
Fantechi, Alessandro [2 ]
Gori, Gloria [2 ]
机构：
[1] DTU Compute, Technical University of Denmark, Lyngby, Denmark
[2] University of Florence, Firenze, Italy
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2023年 / 14165 LNCS卷
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal verification - Safety devices
引用
收藏
页码：96 / 113
相关论文
共 50 条
  • [31] Decomposing verification of timed I/O automata
    Kaynar, DK
    Lynch, N
    FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 84 - 101
  • [32] Interlocking panel systems
    不详
    AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 1997, 69 (01): : 72 - 72
  • [33] INTERLOCKING RACKET SYSTEMS
    HOLTBY, ME
    TRANSACTIONAL ANALYSIS JOURNAL, 1979, 9 (02) : 131 - 135
  • [34] Decomposing Dynamical Systems
    Giunti, Marco
    TOWARDS A POST-BERTALANFFY SYSTEMICS, 2016, : 65 - 79
  • [35] Arm algorithmic approach to the verification of a railway interlocking table
    Hachiga, A
    COMPUTERS IN RAILWAYS V, VOL 1: RAILWAY SYSTEMS AND MANAGEMENT, 1996, : 91 - 100
  • [36] Safety Verification of a Train Interlocking Timed Automaton Model
    Nazaruddin, Yul Y.
    Tamba, Tua A.
    Pradityo, K.
    Aristyo, B.
    Widyotriatmo, A.
    IFAC PAPERSONLINE, 2019, 52 (15): : 331 - 335
  • [37] Static Verification of Railway Schema and Interlocking Design Data
    Iliasov, Alexei
    Stankaitis, Paulius
    Adjepon-Yamoah, David
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2016, 2016, 9707 : 123 - 133
  • [38] The mechanical verification of solid state interlocking geographic data
    Simpson, A
    Woodcock, J
    Davies, J
    FORMAL METHODS PACIFIC '97, 1997, : 223 - 242
  • [39] Decomposing verification around end-user features
    Fisler, Kathi
    Krishnamurthi, Shriram
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 74 - +
  • [40] Decomposing polynomial systems into simple systems
    Wang, DM
    JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (03) : 295 - 314
12345