LTL model checking probabilistic Petri net system

被引：0
|
作者：
Liu, Yang [1 ,2 ,3 ]
Miao, Huaikou [1 ,2 ]
机构：
[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
[2] Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 200072, China
[3] School of Information Science and Technology, Taishan University, Taian Shandong 271021, China
来源：
International Journal of Advancements in Computing Technology | 2012年 / 4卷 / 01期
关键词：
D O I：
10.4156/ijact.vol4.issue1.19
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：172 / 178
相关论文
共 50 条
  • [31] Regular model checking for LTL(MSO)
    Abdulla, PA
    Jonsson, B
    Nilsson, M
    d'Orso, J
    Saksena, M
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 348 - 360
  • [32] An incremental and modular technique for checking LTL\X properties of Petri nets
    Klai, Kais
    Petrucci, Laure
    Reniers, Michel
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 4574 : 280 - +
  • [33] Bounded model checking for past LTL
    Benedetti, M
    Cimatti, A
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 18 - 33
  • [34] Process Online Checking Model of Internetware Based on Time Petri Net
    Song, Min
    Wei, Zhengxian
    [J]. 2018 5TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE 2018), 2018, : 388 - 391
  • [35] Petri Net-based Parallel Model Checking with a Splitting Procedure
    Bin Ab Malek, Muhammad Syafiq
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 65 - 68
  • [36] Parallel LTL-X model checking of high-level Petri nets based on unfoldings
    Schröter, C
    Khomenko, V
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 109 - 121
  • [37] Revised Petri Net: Probabilistic Approach
    Thakur, Chandanita
    Gupta, Shibakali
    [J]. PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES FOR SMART NATION (SMARTTECHCON), 2017, : 407 - 413
  • [38] Tuning SAT solvers for LTL Model Checking
    Kheireddine, Anissa
    Renault, Etienne
    Baarir, Souheib
    [J]. 2022 29TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC, 2022, : 259 - 268
  • [39] LTL model checking of self modifying code
    Touili, Tayssir
    Ye, Xin
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 60 (02) : 195 - 227
  • [40] Yet another look at LTL model checking
    Schneider, K
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 321 - 325
12345