Přístupnostní navigace
E-application
Search Search Close
Publication detail
HOLÍK, L. HAZIZA, F. ABDULLA, P.
Original Title
View Abstraction - A Tutorial
Type
conference paper
Language
English
Original 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.
Keywords
parallelism parameterised systems view abstraction verification well structured transition systems
Authors
HOLÍK, L.; HAZIZA, F.; ABDULLA, P.
RIV year
2015
Released
1. 11. 2015
Publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Location
Dagstuhl
ISBN
978-3-939897-82-8
Book
2nd International Workshop on Synthesis of Complex Parameters
Edition
OpenAccess Series in Informatics
2190-6807
Periodical
OpenAccess Series in Informatics (OASIcs)
Year of study
44
Number
1
State
Federal Republic of Germany
Pages from
Pages to
15
Pages count
BibTex
@inproceedings{BUT119935, author="Lukáš {Holík} and Frédéric {Haziza} and Parosh {Abdulla}", title="View Abstraction - A Tutorial", booktitle="2nd International Workshop on Synthesis of Complex Parameters", year="2015", series="OpenAccess Series in Informatics", journal="OpenAccess Series in Informatics (OASIcs)", volume="44", number="1", pages="1--15", publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik", address="Dagstuhl", doi="10.4230/OASIcs.SynCoP.2015.1", isbn="978-3-939897-82-8", issn="2190-6807" }