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 条
  • [41] Model Checking Linear Programs with Arrays
    Armando, Alessandro
    Benerecetti, Massimo
    Mantovani, Jacopo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 79 - 94
  • [42] Model checking nonblocking MPI programs
    Siegel, Stephen F.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 44 - 58
  • [43] Bounded model checking of pointer programs
    Charatonik, W
    Georgieva, L
    Maier, P
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 397 - 412
  • [44] Slicing concurrent programs for model checking
    Dong, Wei
    Wang, Ji
    Qi, Zhi-Chang
    Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (03): : 266 - 274
  • [45] Autotuning Parallel Programs by Model Checking
    Garanina, N. O.
    Gorlatch, S. P.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2022, 56 (07) : 634 - 648
  • [46] Combining Type-Checking with Model-Checking for System Verification
    Ren, Zhiqiang
    Xi, Hongwei
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 54 - 58
  • [47] From model checking to equilibrium checking: Reactive modules for rational verification
    Gutierrez, Julian
    Harrenstein, Paul
    Wooldridge, Michael
    ARTIFICIAL INTELLIGENCE, 2017, 248 : 123 - 157
  • [48] Model for parallel verification of programs
    He Pei
    Kang Lishan
    Li Qiongzhang
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 623 - +
  • [49] Model checking: Formal verification at a higher level
    Kurshan, B
    DePalma, G
    COMPUTER DESIGN, 1996, 35 (09): : 72 - 73
  • [50] Enhancing model checking in verification by AI techniques
    Buccafurri, Francesco
    Eiter, Thomas
    Gottlob, Georg
    Leone, Nicola
    Artificial Intelligence, 1999, 112 (01): : 57 - 104
12345