Abstract Interpretation and Partition Refinement for Model Checking

被引：0
|
作者：
机构：
来源：
Bull Eur Assoc Theor Comput Sci | / 60卷 / 296期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Partition refinement in abstract model checking
    Pu, Fei
    Zhang, Wenhui
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 209 - +
  • [2] Refining model checking by abstract interpretation
    Ecole Normale Superieure, Paris, France
    [J]. Autom Software Eng, 1 (69-95):
  • [3] Concrete model checking with abstract matching and refinement
    Pasareanu, CS
    Pelánek, R
    Visser, W
    [J]. COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 52 - 66
  • [4] Refining Model Checking by Abstract Interpretation
    Cousot P.
    Cousot R.
    [J]. Automated Software Engineering, 1999, 6 (1) : 69 - 95
  • [5] Refinement of LTL formulas for abstract model checking
    Gallardo, MD
    Merino, P
    Pimentel, E
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 395 - 410
  • [6] Partition refinement in real-time model checking
    Spelberg, RL
    Toetenel, H
    Ammerlaan, M
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157
  • [7] Abstract model checking and refinement of temporal logic in αSPIN
    Gallardo, MD
    Martínez, J
    Merino, P
    Pimentel, E
    [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 245 - 246
  • [8] Partial model checking via abstract interpretation
    De Francesco, N.
    Lettieri, G.
    Martini, L.
    Vaglini, G.
    [J]. INFORMATION PROCESSING LETTERS, 2010, 110 (03) : 99 - 103
  • [9] Abstract interpretation and model checking for checking secure information flow in concurrent systems
    De Francesco, N
    Santone, A
    Tesei, L
    [J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 195 - 211
  • [10] ABSTRACT INTERPRETATION FOR TYPE CHECKING
    FILE, G
    SOTTERO, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 311 - 322
12345