Detail publikace

View Abstraction - A Tutorial

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

1

Strany do

15

Strany počet

15

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"
}