Checker generation of assertions with local variables for model checking

被引：0
|
作者：
Osaka University, Japan [1 ]
不详 [2 ]
机构：
来源：
IPSJ Trans. Syst. LSI Des. Methodol. | / 80-92期
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
相关论文
共 50 条
  • [41] Automated environment generation for software model checking
    Tkachuk, O
    Dwyer, MB
    Pasareanu, CS
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 116 - 127
  • [42] Checking Activity Transition Systems with Back Transitions Against Assertions
    Ge, Cunjing
    Yan, Jiwei
    Yan, Jun
    Zhang, Jian
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 388 - 403
  • [43] Graded CTL Model Checking for Test Generation
    Napoli, Margherita
    Parente, Mimmo
    THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION, 2011, 43 (01): : 59 - 66
  • [44] Model-checking systems with unbounded variables without abstraction
    Contensin, M
    Pierre, L
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 87 - 101
  • [45] Automatic timing model generation by CFG partitioning and model checking
    Wenzel, I
    Rieder, B
    Kirner, R
    Puschner, P
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 606 - 611
  • [46] Integrating a Boolean Satisfiability Checker and BDDs for combinational equivalence checking
    Gupta, A
    Ashar, P
    ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 222 - 225
  • [47] Local knowledge assertions in a changing world
    Ramanujam, R
    THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 1 - 14
  • [48] Automatic generation of invariants and intermediate assertions
    Bjorner, N
    Browne, A
    Manna, Z
    THEORETICAL COMPUTER SCIENCE, 1997, 173 (01) : 49 - 87
  • [49] Wu's method based temporal assertions checking for SEREs properties
    Li, D. (ldk@dl.cn), 2013, Binary Information Press, Flat F 8th Floor, Block 3, Tanner Garden, 18 Tanner Road, Hong Kong (10):
  • [50] A Model Checker for AADL
    Bozzano, Marco
    Cimatti, Alessandro
    Katoen, Joost-Pieter
    Nguyen, Viet Yen
    Noll, Thomas
    Roveri, Marco
    Wimmer, Ralf
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 562 - +
12345