Compositional abstraction of CSPZ processes

被引：0
|
作者：
Centre of Informatics, Federal University of Pernambuco, Cidade Universitaria, P.O. Box 7851, 50732-970 - Recife - PE, Brazil [1 ]
机构：
来源：
Journal of the Brazilian Computer Society | 2008年 / 14卷 / 02期
关键词：
D O I：
10.1590/S0104-65002008000200003
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 44
相关论文
共 50 条
  • [1] Efficient CSPZ data abstraction
    Farias, A
    Mota, A
    Sampaio, A
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 108 - 127
  • [2] Compositional Abstraction for Stochastic Systems
    Katoen, Joost-Pieter
    Klink, Daniel
    Neuhaeusser, Martin R.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 195 - 211
  • [3] Interface abstraction for compositional verification
    Gurov, D
    Huisman, M
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 414 - 423
  • [4] Compositional planning in Markov decision processes: Temporal abstraction meets generalized logic composition
    Liu, Xuan
    Fu, Jie
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 559 - 566
  • [5] A Compositional Approach to Abstraction for Planning Problems
    Vilela, Juliana
    Hill, Richard
    IFAC PAPERSONLINE, 2020, 53 (04): : 109 - 116
  • [6] Compositional abstraction refinement for control synthesis
    Meyer, Pierre-Jean
    Dimarogonas, Dimos V.
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2018, 27 : 437 - 451
  • [7] Compositional Predicate Abstraction from Game Semantics
    Bakewell, Adam
    Ghica, Dan R.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 62 - 76
  • [8] Compositional and relational reasoning during class abstraction
    Egyed, A
    UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 121 - 137
  • [9] Compositional Abstraction of PEPA Models for Transient Analysis
    Smith, Michael J. A.
    COMPUTER PERFORMANCE ENGINEERING, 2010, 6342 : 252 - 267
  • [10] A CLP method for compositional and intermittent predicate abstraction
    Jaffar, J
    Santosa, AE
    Voicu, R
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 17 - 32
12345