{"controller"=>"catalog", "action"=>"show", "id"=>"245591899"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

Incremental Bisimulation Abstraction Refinement

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Godskesen, Jens Christian ;
    Close
    Management, IT University of Copenhagen
  • Song, Lei ;
    Close
    Theoretical Computer Science, The Department
  • Zhang, Lijun
    Close
    unknown
DOI:
10.1109/ACSD.2013.5
Abstract:
Abstraction refinement techniques in probabilistic model checking are prominent approaches to the verification of very large or infinite-state probabilistic concurrent systems. At the core of the refinement step lies the implicit or explicit analysis of a counterexample. This paper proposes an abstraction refinement approach for the probabilistic computation tree logic (PCTL), which is based on incrementally computing a sequence of may- and must-quotient automata. These are induced by depth-bounded bisimulation equivalences of increasing depth. The approach is both sound and complete, since the equivalences converge to the genuine PCTL equivalence. Experimental results with a prototype implementation show the effectiveness of the approach.
Type:
Conference paper
Language:
English
Published in:
Proceedings of the International Conference on Application of Concurrency To System Design, 2013, p. 11-20
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Conference:
13th International Conference on Application of Concurrency to System DesignInternational Conference on Application of Concurrency to System Design, 2013
Submission year:
2013
Scientific Level:
Scientific
ID:
245591899

Full text access

  • Openaccess Elsewhere online
  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institution

  • It university of cph.en

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en