Conference paper

ABDULLA Parosh A., HAZIZA Frédéric and HOLÍK Lukáš. View Abstraction - A Tutorial. In: 2nd International Workshop on Synthesis of Complex Parameters. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015, pp. 1-15. ISBN 978-3-939897-82-8.
Publication language:english
Original title:View Abstraction - A Tutorial
Title (cs):Pohledová abstrakce - Tutoriál
Pages:1-15
Proceedings:2nd International Workshop on Synthesis of Complex Parameters
Conference:2nd International Workshop on Synthesis of Complex Parameters
Place:Dagstuhl, DE
Year:2015
ISBN:978-3-939897-82-8
DOI:10.4230/OASIcs.SynCoP.2015.1
Publisher:Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Keywords
parallelism
parameterised systems
view abstraction
verification
well structured transition systems
Annotation

We consider parameterized verification, i.e., proving correctness of a system with an unbounded number of processes. We describe the method of view abstraction whose aim is to provide a small model property, i.e., showing correctness by only inspecting instances of the system consisting of a small fixed number of processes. We illustrate the method through an application to the classical Burns mutual exclusion protocol. 

Abstract

We consider parameterized verification, i.e., proving correctness of a system with an unbounded number of processes. We describe the method of view abstraction whose aim is to provide a small model property, i.e., showing correctness by only inspecting instances of the system consisting of a small fixed number of processes. We illustrate the method through an application to the classical Burns mutual exclusion protocol. 

BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and Fr{\'{e}}d{\'{e}}ric Haziza
	and Luk{\'{a}}{\v{s}} Hol{\'{i}}k},
   title = {View Abstraction - A Tutorial},
   pages = {1--15},
   booktitle = {2nd International Workshop on Synthesis of Complex
	Parameters},
   year = {2015},
   location = {Dagstuhl, DE},
   publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   ISBN = {978-3-939897-82-8},
   doi = {10.4230/OASIcs.SynCoP.2015.1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11059}
}

Your IPv4 address: 54.161.118.57
Switch to https