IEEE - Institute of Electrical and Electronics Engineers, Inc. - Incremental Bisimulation Abstraction Refinement

2013 13th International Conference on Application of Concurrency to System Design (ACSD 2013)

Author(s): Lei Song ; Lijun Zhang ; Holger Hermanns ; Jens Chr Godskesen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Barcelona, Spain
Conference Date: 8 July 2013
Page(s): 11 - 20
ISBN (Electronic): 978-0-7695-5035-0
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2013.5
Regular:

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... View More

Advertisement