Detail výsledku

View Abstraction - A Tutorial

HOLÍK, L.; HAZIZA, F.; ABDULLA, P. View Abstraction - A Tutorial. In 2nd International Workshop on Synthesis of Complex Parameters. OpenAccess Series in Informatics (OASIcs). OpenAccess Series in Informatics. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015. no. 1, p. 1-15. ISBN: 978-3-939897-82-8. ISSN: 2190-6807.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Haziza Frédéric
Abdulla Parosh
Abstrakt

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

Klíčová slova

parallelism
parameterised systems
view abstraction
verification
well structured transition systems

Anotace

Popisujeme metodu pro rozhodování korektnosti systémů s neomezeným paralelismem, založenou na takzvané pohledové abstrakci.

Rok
2015
Strany
1–15
Časopis
OpenAccess Series in Informatics (OASIcs), roč. 44, č. 1, ISSN 2190-6807
Sborník
2nd International Workshop on Synthesis of Complex Parameters
Řada
OpenAccess Series in Informatics
Konference
2nd International Workshop on Synthesis of Complex Parameters
ISBN
978-3-939897-82-8
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Dagstuhl
DOI
10.4230/OASIcs.SynCoP.2015.1
EID Scopus
2-s2.0-85092799549
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"
}
Projekty
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Verifikace nekonečně stavových systémů založená na konečných automatech, GAČR, Postdoktorandské granty, GP13-37876P, zahájení: 2013-02-01, ukončení: 2015-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru