InforLorV4, Hal, Checkpoint, bibRecord, 001118

Formal Verification of Distributed Algorithms

Identifieur interne : 001118 ( Hal/Checkpoint ); précédent : 001117; suivant : 001119

Formal Verification of Distributed Algorithms

Auteurs : Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]

Source :

RBID : Hal:hal-00904805

Abstract

The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed algorithms. In order to tighten the gap between the involved communities, who have been quite separated in the past, the program contained tutorials on the basics of the concerned fields. In addition to technical talks, we also had several discussion sessions, whose goal was to identify the most pressing research challenges. This report describes the program and the outcomes of the seminar.

Url:

https://hal.inria.fr/hal-00904805

DOI: 10.4230/DagRep.3.4.1

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 002390
to stream Hal, to step Curation: 002390

Links to Exploration step

Hal:hal-00904805

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Formal Verification of Distributed Algorithms</title>
<author><name sortKey="Charron Bost, Bernadette" sort="Charron Bost, Bernadette" uniqKey="Charron Bost B" first="Bernadette" last="Charron-Bost">Bernadette Charron-Bost</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2071" status="VALID"><orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
<orgName type="acronym">LIX</orgName>
<desc><address><addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lix.polytechnique.fr/</ref>
</desc>
<listRelation><relation active="#struct-300340" type="direct"></relation>
<relation name="UMR7161" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID"><orgName>Polytechnique - X</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107895" status="VALID"><idno type="RNSR">201020692C</idno>
<orgName>Modeling and Verification of Distributed Algorithms and Systems</orgName>
<orgName type="acronym">VERIDIS</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/veridis</ref>
</desc>
<listRelation><relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Rybalchenko, Andrey" sort="Rybalchenko, Andrey" uniqKey="Rybalchenko A" first="Andrey" last="Rybalchenko">Andrey Rybalchenko</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-82335" status="VALID"><orgName>Institut für Informatik</orgName>
<orgName type="acronym">LRR-TUM</orgName>
<desc><address><addrLine>Institut für Informatik Lehreinheit für Rechnertechnik und Rechnerorganisation / Parallelrechnerarchitektur - Technische Universität München (LRR-TUM) TU München Boltzmannstr. 3 D-85748 Garching bei München Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.lrr.in.tum.de</ref>
</desc>
<listRelation><relation active="#struct-301140" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301140" type="direct"><org type="institution" xml:id="struct-301140" status="VALID"><orgName>Technische Universität München [München]</orgName>
<orgName type="acronym">TUM</orgName>
<desc><address><addrLine>Arcisstraße 21, 80333 München</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.tum.de/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Widder, Josef" sort="Widder, Josef" uniqKey="Widder J" first="Josef" last="Widder">Josef Widder</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-227120" status="VALID"><orgName>Institut für Informationssysteme [Wien]</orgName>
<desc><address><country key="AT"></country>
</address>
<ref type="url">http://www.informatik.tuwien.ac.at/fakultaet/institute/e184</ref>
</desc>
<listRelation><relation active="#struct-238259" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-238259" type="direct"><org type="institution" xml:id="struct-238259" status="VALID"><orgName>Technische Universität Wien</orgName>
<orgName type="acronym">TU Wien</orgName>
<desc><address><addrLine>Karlsplatz 13, 1040 Vienna, Austria</addrLine>
<country key="AT"></country>
</address>
<ref type="url">http://www.tuwien.ac.at/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00904805</idno>
<idno type="halId">hal-00904805</idno>
<idno type="halUri">https://hal.inria.fr/hal-00904805</idno>
<idno type="url">https://hal.inria.fr/hal-00904805</idno>
<idno type="doi">10.4230/DagRep.3.4.1</idno>
<date when="2013-06">2013-06</date>
<idno type="wicri:Area/Hal/Corpus">002390</idno>
<idno type="wicri:Area/Hal/Curation">002390</idno>
<idno type="wicri:Area/Hal/Checkpoint">001118</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001118</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Formal Verification of Distributed Algorithms</title>
<author><name sortKey="Charron Bost, Bernadette" sort="Charron Bost, Bernadette" uniqKey="Charron Bost B" first="Bernadette" last="Charron-Bost">Bernadette Charron-Bost</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-2071" status="VALID"><orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
<orgName type="acronym">LIX</orgName>
<desc><address><addrLine>Route de Saclay 91128 PALAISEAU CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lix.polytechnique.fr/</ref>
</desc>
<listRelation><relation active="#struct-300340" type="direct"></relation>
<relation name="UMR7161" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300340" type="direct"><org type="institution" xml:id="struct-300340" status="VALID"><orgName>Polytechnique - X</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR7161" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Merz, Stephan" sort="Merz, Stephan" uniqKey="Merz S" first="Stephan" last="Merz">Stephan Merz</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107895" status="VALID"><idno type="RNSR">201020692C</idno>
<orgName>Modeling and Verification of Distributed Algorithms and Systems</orgName>
<orgName type="acronym">VERIDIS</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/veridis</ref>
</desc>
<listRelation><relation active="#struct-129671" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno>
<orgName>INRIA Nancy - Grand Est</orgName>
<desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/nancy</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Rybalchenko, Andrey" sort="Rybalchenko, Andrey" uniqKey="Rybalchenko A" first="Andrey" last="Rybalchenko">Andrey Rybalchenko</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-82335" status="VALID"><orgName>Institut für Informatik</orgName>
<orgName type="acronym">LRR-TUM</orgName>
<desc><address><addrLine>Institut für Informatik Lehreinheit für Rechnertechnik und Rechnerorganisation / Parallelrechnerarchitektur - Technische Universität München (LRR-TUM) TU München Boltzmannstr. 3 D-85748 Garching bei München Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.lrr.in.tum.de</ref>
</desc>
<listRelation><relation active="#struct-301140" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-301140" type="direct"><org type="institution" xml:id="struct-301140" status="VALID"><orgName>Technische Universität München [München]</orgName>
<orgName type="acronym">TUM</orgName>
<desc><address><addrLine>Arcisstraße 21, 80333 München</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.tum.de/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Widder, Josef" sort="Widder, Josef" uniqKey="Widder J" first="Josef" last="Widder">Josef Widder</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-227120" status="VALID"><orgName>Institut für Informationssysteme [Wien]</orgName>
<desc><address><country key="AT"></country>
</address>
<ref type="url">http://www.informatik.tuwien.ac.at/fakultaet/institute/e184</ref>
</desc>
<listRelation><relation active="#struct-238259" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-238259" type="direct"><org type="institution" xml:id="struct-238259" status="VALID"><orgName>Technische Universität Wien</orgName>
<orgName type="acronym">TU Wien</orgName>
<desc><address><addrLine>Karlsplatz 13, 1040 Vienna, Austria</addrLine>
<country key="AT"></country>
</address>
<ref type="url">http://www.tuwien.ac.at/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Autriche</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.4230/DagRep.3.4.1</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed algorithms. In order to tighten the gap between the involved communities, who have been quite separated in the past, the program contained tutorials on the basics of the concerned fields. In addition to technical talks, we also had several discussion sessions, whose goal was to identify the most pressing research challenges. This report describes the program and the outcomes of the seminar.</div>
</front>
</TEI>
<hal api="V3"><titleStmt><title xml:lang="en">Formal Verification of Distributed Algorithms</title>
<author role="aut"><persName><forename type="first">Bernadette</forename>
<surname>Charron-Bost</surname>
</persName>
<email>charron@lix.polytechnique.fr</email>
<idno type="halauthor">425044</idno>
<orgName ref="#struct-441569"></orgName>
<affiliation ref="#struct-2071"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
<ptr type="url" target="http://www.loria.fr/~merz/"></ptr>
<idno type="halauthor">663400</idno>
<affiliation ref="#struct-107895"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Andrey</forename>
<surname>Rybalchenko</surname>
</persName>
<email></email>
<idno type="halauthor">943575</idno>
<orgName ref="#struct-301140"></orgName>
<affiliation ref="#struct-82335"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Josef</forename>
<surname>Widder</surname>
</persName>
<email></email>
<idno type="halauthor">295794</idno>
<orgName ref="#struct-366060"></orgName>
<affiliation ref="#struct-227120"></affiliation>
</author>
<editor role="depositor"><persName><forename>Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
</editor>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2013-11-15 11:49:25</date>
<date type="whenModified">2015-09-22 01:13:13</date>
<date type="whenReleased">2013-11-15 11:49:25</date>
<date type="whenProduced">2013-06</date>
</edition>
<respStmt><resp>contributor</resp>
<name key="104076"><persName><forename>Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">hal-00904805</idno>
<idno type="halUri">https://hal.inria.fr/hal-00904805</idno>
<idno type="halBibtex">charronbost:hal-00904805</idno>
<idno type="halRefHtml">Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, <10.4230/DagRep.3.4.1></idno>
<idno type="halRef">Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder. 3, Dagstuhl, pp.16, 2013, Dagstuhl Reports, <10.4230/DagRep.3.4.1></idno>
</publicationStmt>
<seriesStmt><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="LIX">Laboratoire d'informatique de l'école polytechnique</idno>
<idno type="stamp" n="X" p="PARISTECH">Ecole Polytechnique</idno>
<idno type="stamp" n="PARISTECH">ParisTech</idno>
<idno type="stamp" n="X-LIX" p="X">Laboratoire d'informatique de l'X (LIX)</idno>
<idno type="stamp" n="X-DEP">Polytechnique</idno>
<idno type="stamp" n="X-DEP-INFO" p="X-DEP">Département d'informatique</idno>
<idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
<idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
</seriesStmt>
<notesStmt><note type="audience" n="2">International</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Formal Verification of Distributed Algorithms</title>
<author role="aut"><persName><forename type="first">Bernadette</forename>
<surname>Charron-Bost</surname>
</persName>
<email>charron@lix.polytechnique.fr</email>
<idno type="halAuthorId">425044</idno>
<orgName ref="#struct-441569"></orgName>
<affiliation ref="#struct-2071"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
<ptr type="url" target="http://www.loria.fr/~merz/"></ptr>
<idno type="halAuthorId">663400</idno>
<affiliation ref="#struct-107895"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Andrey</forename>
<surname>Rybalchenko</surname>
</persName>
<idno type="halAuthorId">943575</idno>
<orgName ref="#struct-301140"></orgName>
<affiliation ref="#struct-82335"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Josef</forename>
<surname>Widder</surname>
</persName>
<idno type="halAuthorId">295794</idno>
<orgName ref="#struct-366060"></orgName>
<affiliation ref="#struct-227120"></affiliation>
</author>
</analytic>
<monogr><editor>Bernadette Charron-Bost and Stephan Merz and Andrey Rybalchenko and Josef Widder</editor>
<imprint><publisher>Dagstuhl</publisher>
<biblScope unit="serie">Dagstuhl Reports</biblScope>
<biblScope unit="volume">3</biblScope>
<biblScope unit="pp">16</biblScope>
<date type="datePub">2013-06</date>
</imprint>
</monogr>
<idno type="doi">10.4230/DagRep.3.4.1</idno>
</biblStruct>
</sourceDesc>
<profileDesc><langUsage><language ident="en">English</language>
</langUsage>
<textClass><classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
<classCode scheme="halTypology" n="DOUV">Directions of work or proceedings</classCode>
</textClass>
<abstract xml:lang="en">The Dagstuhl Seminar 13141 "Formal Verification of Distributed Algorithms" brought together researchers from the areas of distributed algorithms, model checking, and semi-automated proofs with the goal to establish a common base for approaching the many open problems in verification of distributed algorithms. In order to tighten the gap between the involved communities, who have been quite separated in the past, the program contained tutorials on the basics of the concerned fields. In addition to technical talks, we also had several discussion sessions, whose goal was to identify the most pressing research challenges. This report describes the program and the outcomes of the seminar.</abstract>
</profileDesc>
</hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001118 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 001118 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    RBID
   |clé=     Hal:hal-00904805
   |texte=   Formal Verification of Distributed Algorithms
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Formal Verification of Distributed Algorithms

Formal Verification of Distributed Algorithms

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri