Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
HOLÍK, L. HAZIZA, F. ABDULLA, P.
Originální název
View Abstraction - A Tutorial
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
parallelism parameterised systems view abstraction verification well structured transition systems
Autoři
HOLÍK, L.; HAZIZA, F.; ABDULLA, P.
Rok RIV
2015
Vydáno
1. 11. 2015
Nakladatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl
ISBN
978-3-939897-82-8
Kniha
2nd International Workshop on Synthesis of Complex Parameters
Edice
OpenAccess Series in Informatics
ISSN
2190-6807
Periodikum
OpenAccess Series in Informatics (OASIcs)
Ročník
44
Číslo
1
Stát
Spolková republika Německo
Strany od
Strany do
15
Strany počet
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" }