Towards verification of distributed algorithms in the Heard-of - PowerPoint PPT Presentation

Jul 05, 2023 •674 likes •1.16k views

<latexit

Recommend

Formal Methods for the Verification of Distributed Algorithms Paul Gastin Laboratoire

Formal Methods for the Verification of Distributed Algorithms Paul Gastin Laboratoire Spcification et Vrification ENS Paris Saclay & CNRS with C. Aiswarya (CMI) & Benedikt Bollig (LSV) Motivations Distributed algorithms are

1.23k views • 90 slides

Distributed Algorithms Distributed Algorithms Distributed Mutual Exclusion Olivier Dalle (*)

Distributed Algorithms Distributed Algorithms Distributed Mutual Exclusion Olivier Dalle (*) olivier.dalle@sophia.inria.fr (*) Large parts of this lecture borrowed from Sukumar Ghosh's book. Olivier Dalle 1 Distributed Algorithms Mutual

675 views • 52 slides

SMT and POR beat Counter Abstraction Parameterized Model Checking of Threshold-Based Distributed

SMT and POR beat Counter Abstraction Parameterized Model Checking of Threshold-Based Distributed Algorithms Igor Konnov Helmut Veith Josef Widder Alpine Verification Meeting May 4-6, 2015 Why fault-tolerant (FT) distributed algorithms

859 views • 64 slides

Distributed Algorithms for Message-Passing Systems Contents Part I Distributed Graph

Michel Raynal Distributed Algorithms for Message-Passing Systems Contents Part I Distributed Graph Algorithms 1 Basic Definitions and Network Traversal Algorithms . . . . . . . . . 3 1.1 Distributed Algorithms . . . . . . . . . . . . . .

128 views • 12 slides

Distributed Algorithms Tutorial Roger Wattenhofer ETH Zurich Distributed Computing

Distributed Algorithms Tutorial Roger Wattenhofer ETH Zurich Distributed Computing www.disco.ethz.ch Distributed Algorithms Message Shared Passing Memory Example: Maximal Independent Set (MIS) Given a network with n nodes, nodes

1.15k views • 65 slides

Research Interests Distributed algorithms Distributed shared memory systems Distributed

Privacy & Security in Machine Learning / Optimization Nitin Vaidya University of Illinois at Urbana-Champaign disc.ece.illinois.edu Research Interests Distributed algorithms Distributed shared memory systems Distributed

1.2k views • 70 slides

Formal Verification of Mathematical Algorithms John Harrison Intel Corporation The cost of

Formal Verification of Mathematical Algorithms 1 Formal Verification of Mathematical Algorithms John Harrison Intel Corporation The cost of bugs Formal verification Levels of verification HOL Light Formalizing mathematics

353 views • 19 slides

Genie Distributed Systems Synthesis and Verification Marc Rosen EN.600.667: Advanced Distributed

Genie Distributed Systems Synthesis and Verification Marc Rosen EN.600.667: Advanced Distributed Systems and Networks May 1, 2017 1 / 35 Outline Introduction Problem Statement Prior Art Demo How does it work? Code Generation How does it

504 views • 35 slides

Invariants in Distributed Algorithms Y. Annie Liu, Scott D. Stoller Computer Science Department

Invariants in Distributed Algorithms Y. Annie Liu, Scott D. Stoller Computer Science Department Stony Brook University joint work with Saksham Chand, Bo Lin, and Xuetian Weng Distributed algorithms and correctness distributed systems:

773 views • 39 slides

Towards synthesis of distributed algorithms with SMT solvers C. Delporte-Gallet, H. Fauconnier,

Towards synthesis of distributed algorithms with SMT solvers C. Delporte-Gallet, H. Fauconnier, Y. Jurski, F . Laroussinie and Arnaud Sangnier IRIF - Univ Paris Diderot ANR DESCARTES 9th October 2019 1 Conception of distributed algorithms

391 views • 25 slides

Soutenance dhabilitation Verification of Embedded Systems Algorithms and Complexity

Soutenance dhabilitation Verification of Embedded Systems Algorithms and Complexity Nicolas Markey LSV, CNRS & ENS Cachan, France April 8, 2011 Verification of embedded systems Computers are everywhere Verification of embedded

1.32k views • 115 slides

Formal verification of IA-64 division algorithms John Harrison Intel Corporation IA-64

Formal verification of IA-64 division algorithms 1 Formal verification of IA-64 division algorithms John Harrison Intel Corporation IA-64 overview Quick introduction to HOL Light Floating point numbers and IA-64 formats HOL

451 views • 19 slides

Distributed Algorithms for Content Allocation in Interconnected Content Distribution Networks

Problem Definition Failure of Distributed Greedy Bilateral Compensation-based Algorithms Conclusion Distributed Algorithms for Content Allocation in Interconnected Content Distribution Networks Valentino Pacifici, Gy orgy D an

657 views • 63 slides

Distributed Mutual Exclusion Algorithms Course: Distributed Computing Faculty: Dr. Rajendra

Distributed Mutual Exclusion Algorithms Course: Distributed Computing Faculty: Dr. Rajendra Prasath Spring 2019 About this topic This course covers various concepts in Mutual Exclusion in Distributed Systems. We will also focus on different

1.02k views • 43 slides

Algorithms and Methods for Distributed Storage Networks 10 Distributed Heterogeneous Hash Tables

Algorithms and Methods for Distributed Storage Networks 10 Distributed Heterogeneous Hash Tables Christian Schindelhauer Albert-Ludwigs-Universitt Freiburg Institut fr Informatik Rechnernetze und Telematik Wintersemester 2007/08

922 views • 64 slides

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL Heber

Introduction Stability and correctness Defining quadratic invariants as code annotations Verification conditions Mapping PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL Heber Herencia-Zapana, Romain

990 views • 75 slides

Algorithms in Nature Distributed computing Example Distributed systems Internet ATM

Algorithms in Nature Distributed computing Example Distributed systems Internet ATM (bank) machines Intranets/Workgroups Computing landscape will soon consist of ubiquitous network-connected devices The network is the

447 views • 16 slides

Distributed Algorithms for MCMC Sampling Yitong Yin Nanjing University Shonan Meeting No. 162:

Distributed Algorithms for MCMC Sampling Yitong Yin Nanjing University Shonan Meeting No. 162: Distributed Graph Algorithms Outline Distributed Sampling Problem Gibbs Distribution (distribution defined by local constraints)

499 views • 37 slides

Specification and Verification for distributed applications running on heterogeneous

Specification and Verification for distributed applications running on heterogeneous infrastructures E. Madelaine Oasis team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis ECNU Dept of Software Engineering October 2010 Eric

683 views • 49 slides

Bisimulation and Modal Logic in Distributed Computing Tuomo Lempi ainen Distributed Algorithms

Bisimulation and Modal Logic in Distributed Computing Tuomo Lempi ainen Distributed Algorithms group, Department of Computer Science, Aalto University (joint work with Lauri Hella, Matti J arvisalo, Antti Kuusisto, Juhana Laurinharju,

537 views • 29 slides

COMP4600 Advanced algorithms: Algorithms for verification (3 lectures) Andreas Bauer NICTA

Introduction LTL model checking CTL model checking Binary decision diagrams Symbolic model checking COMP4600 Advanced algorithms: Algorithms for verification (3 lectures) Andreas Bauer NICTA Software Systems Research Group & The

1.77k views • 160 slides

Local Distributed Verification A. Balliu , G. DAngelo, P. Fraigniaud, and D. Oliveti CNRS and

Model Local decision Local verification Local Hierarchy Complete Problems Conclusions Local Distributed Verification A. Balliu , G. DAngelo, P. Fraigniaud, and D. Oliveti CNRS and University Paris Diderot GSSI LAquila Model Local

1.41k views • 72 slides

Optimal Distributed Covering Algorithms Ran Ben-Basat 1 , Guy Even 2 , Ken-ichi Kawarabayashi 3 ,

Optimal Distributed Covering Algorithms Ran Ben-Basat 1 , Guy Even 2 , Ken-ichi Kawarabayashi 3 , Gregory Schwartzman 3 1 Harvard 2 Tel-Aviv U. 3 NII 1 / 8 Lower Bound on Number of Communication Rounds Theorem ([KMW16]) Any distributed

274 views • 15 slides

Representing distributed algorithms Why do we need these? Dont we already know a lot about

Representing distributed algorithms Why do we need these? Dont we already know a lot about programming? We need to capture the notions of atomicity, non-determinism, fairness etc. The program should be concise Syntax & semantics:

411 views • 17 slides