Computable fixpoints in well-structured symbolic model checking

被引：0
|
作者：
N. Bertrand
P. Schnoebelen
机构：
[1] Inria Rennes Bretagne Atlantique,
[2] LSV,undefined
[3] CNRS & ENS de Cachan,undefined
来源：
Formal Methods in System Design | 2013年 / 43卷
关键词：
Verification of well-structured systems; Verification of probabilistic systems; mu-Calculus; Infinite-state systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We prove a general finite-time convergence theorem for fixpoint expressions over a well-quasi-ordered set. This has immediate applications for the verification of well-structured systems, where a main issue is the computability of fixpoint expressions, and in particular for game-theoretical properties and probabilistic systems where nesting and alternation of least and greatest fixpoints are common.
引用
收藏
页码：233 / 267
页数：34
相关论文
共 50 条
  • [31] PREFERENTIAL FLOW PROCESSES IN WELL-STRUCTURED SOILS
    SMETTEM, KRJ
    JOURNAL OF THE GEOLOGICAL SOCIETY, 1983, 140 (MAR) : 322 - 322
  • [32] Preparation of well-structured organosilane layers on silica
    Duchet, J
    Gerard, JF
    Chapel, JP
    Chabert, B
    COMPOSITE INTERFACES, 2001, 8 (3-4) : 177 - 187
  • [33] Unfolding concurrent well-structured transition systems
    Herbreteau, Frederic
    Sutre, Gregoire
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 706 - +
  • [34] Ideal Abstractions for Well-Structured Transition Systems
    Zufferey, Damien
    Wies, Thomas
    Henzinger, Thomas A.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 445 - 460
  • [35] On Reachability in Acyclic Well-Structured Workflow Nets
    Yamaguchi, Shingo
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 441 - 446
  • [36] A well-structured modified Booth multiplier design
    Wang, Li-Rong
    Jou, Shyh-Jye
    Lee, Chung-Len
    2008 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2008, : 85 - 88
  • [37] Wetting properties of well-structured heterogeneous substrates
    Iliev, SD
    Pesheva, NC
    LANGMUIR, 2003, 19 (23) : 9923 - 9931
  • [38] Preferential flow variability in a well-structured soil
    Williams, AG
    Dowd, JF
    Scholefield, D
    Holden, NM
    Deeks, LK
    SOIL SCIENCE SOCIETY OF AMERICA JOURNAL, 2003, 67 (04) : 1272 - 1281
  • [39] Benefits of a Well-Structured Diagnostic Process in Colon Cancer
    Klemann, Victor M. W. T.
    Wolters, Frank L.
    Konsten, Joop L. M.
    DIGESTIVE SURGERY, 2011, 28 (01) : 15 - 21
  • [40] THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS
    HALPERN, JY
    REIF, JH
    THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 127 - 165
12345