Verification of SPS programs in AWL with the aid of direct model checking

被引：0
|
作者：
Schlich, Bastian [1 ]
Kowalewski, Stefan [1 ]
Wernerus, Joerg [1 ]
机构：
[1] Rhein Westfal TH Aachen, Aachen, Germany
来源：
AUTOMATION 2009 | 2009年 / 2067卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：13 / 16
页数：4
相关论文
共 50 条
  • [21] Verification and Validation of safety-targeted SPS-Programs
    Soliman, Doaa
    Frey, Georg
    FUNKTIONALE SICHERHEIT: ECHTZEIT 2013, 2013, : 107 - 116
  • [22] Rational Verification: From Model Checking to Equilibrium Checking
    Wooldridge, Michael
    Gutierrez, Julian
    Harrenstein, Paul
    Marchioni, Enrico
    Perelli, Giuseppe
    Toumi, Alexis
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 4184 - 4190
  • [23] Guiding Simulation Model Verification by Model Checking
    Xia, Wei
    Yao, Yiping
    Mu, Xiaodong
    Xing, Fei
    FRONTIERS OF MANUFACTURING AND DESIGN SCIENCE, PTS 1-4, 2011, 44-47 : 3508 - +
  • [24] Model checking algorithms for analog verification
    Hartong, W
    Hedrich, L
    Barke, E
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 542 - 547
  • [25] Microarchitecture verification by compositional model checking
    Jhala, R
    McMillan, KL
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 396 - 410
  • [26] Model checking for ACL compliance verification
    Huget, MP
    Wooldridge, M
    ADVANCES IN AGENT COMMUNICATION, 2003, 2922 : 75 - 90
  • [27] ebXML verification using model checking
    Di Sciascio, E
    Donini, FM
    Mongiello, M
    Piscitelli, G
    ITI 2004: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2004, : 455 - 460
  • [28] Verification of clinical guidelines by model checking
    Perez, Beatriz
    Porres, Ivan
    PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, 2008, : 114 - +
  • [29] Model Checking: Algorithmic Verification and Debugging
    Clarke, Edmund M.
    Emerson, E. Allen
    Sifakis, Joseph
    COMMUNICATIONS OF THE ACM, 2009, 52 (11) : 75 - 84
  • [30] Model Checking for Verification of Quantum Circuits
    Ying, Mingsheng
    FORMAL METHODS, FM 2021, 2021, 13047 : 23 - 39
12345