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 条
  • [1] Automated Verification of Go Programs via Bounded Model Checking
    Dilley, Nicolas
    Lange, Julien
    2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021, 2021, : 1016 - 1027
  • [2] Modular Verification of Concurrent Programs via Sequential Model Checking
    Rasin, Dan
    Grumberg, Orna
    Shoham, Sharon
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 228 - 247
  • [3] Verification of Erlang programs using abstract interpretation and model checking
    Huch, F
    ACM SIGPLAN NOTICES, 1999, 34 (09) : 261 - 272
  • [4] Automated verification of concurrent go programs via bounded model checking
    Dilley, Nicolas
    Lange, Julien
    AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (02)
  • [5] Automated verification of concurrent go programs via bounded model checking
    Nicolas Dilley
    Julien Lange
    Automated Software Engineering, 2023, 30
  • [6] Verification of MPI Java']Java Programs using Software Model Checking
    Rehman, Waqas Ur
    Ayub, Muhammad Sohaib
    Siddiqui, Junaid Haroon
    ACM SIGPLAN NOTICES, 2016, 51 (08) : 413 - 414
  • [7] Combinational Model-Checking of PLC Programs' Verification Based on Instructions
    Xiao, Litian
    Li, Mengyuan
    Gu, Ming
    Sun, Jiaguang
    2014 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION (IEEE ICMA 2014), 2014, : 1335 - 1340
  • [8] Model Checking Programs
    Willem Visser
    Klaus Havelund
    Guillaume Brat
    SeungJoon Park
    Flavio Lerda
    Automated Software Engineering, 2003, 10 (2) : 203 - 232
  • [9] Model checking programs
    Visser, W
    Havelund, K
    Brat, G
    Park, SJ
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 3 - 11
  • [10] Checking geometric programs or verification of geometric structures
    Mehlhorn, K
    Näher, S
    Seel, M
    Seidel, R
    Schilz, T
    Schirra, S
    Uhrig, C
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1999, 12 (1-2): : 85 - 103
12345