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 条
  • [31] On Applying Model Checking in Formal Verification
    Hjort, Hakan
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 3 - 3
  • [32] Applying model checking to workflow verification
    Pfeiffer, JH
    Rossak, WR
    Speck, A
    11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 144 - 151
  • [33] Assertion checking environment (ACE) for formal verification of C programs
    Sharma, B
    Dhodapkar, SD
    Ramesh, S
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2003, 81 (03) : 281 - 290
  • [34] Bounded Model Checking for Probabilistic Programs
    Jansen, Nils
    Dehnert, Christian
    Kaminski, Benjamin Lucien
    Katoen, Joost-Pieter
    Westhofen, Lukas
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 68 - 85
  • [35] Abstract Model Checking of tccp programs
    Alpuente, MarIa
    Gallardo, MarIa Del Mar
    Pimentel, Ernesto
    Villanueva, Alicia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 112 : 19 - 36
  • [36] Bounded model checking of concurrent programs
    Rabinovitz, I
    Grumberg, O
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 82 - 97
  • [37] Heuristics for model checking Java programs
    Groce A.
    Visser W.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (04) : 260 - 276
  • [38] Model Checking Parallel Programs with Inputs
    Barnat, Jiri
    Bauch, Petr
    Havel, Vojtech
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 756 - 759
  • [39] Autotuning Parallel Programs by Model Checking
    N. O. Garanina
    S. P. Gorlatch
    Automatic Control and Computer Sciences, 2022, 56 : 634 - 648
  • [40] LTL Model Checking for Recursive Programs
    Huang, Geng-Dian
    Cai, Lin-Zan
    Wang, Farn
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 382 - 396
12345